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)