Description
- Multi-purpose tool for Boolean function manipulation
- Able to convert Boolean functions to various forms: DNF, CNF, NAND network, NOR network...
- Able to perform all basic operations on/between functions: NOT, AND, OR, XOR...
- Able to solve SAT
- Supports PLA, pseudo-VDHL and DIMACS input formats
- Supports PLA, BLIF, VHDL, pseudo-VDHL and DIMACS output formats