BoolTool - the Boolean function manipulation tool

Menu

• Description
• Experimental results
• References
• Download
• Program manual

Info

Download

• BoolTool 1.1 (win32 binary)
• Microsoft Visual C++ 2008 Redistributable Package (x86) (required to execute BoolTool)