Tools

Solvers may also benefit from the use of independent tools, which can (for example) convert problems from other domains to CNF formats, to pre-process inputs or to post-process outputs.


File Format Converters


Pre-Processors

PMC
A pre-processfor for model counters and knowledge compilers.
link binary only 


Libraries

CUDD
A library for constructing and manipulating OBDDs.
link open-source

The SDD Package
A library for constructing and manipulating SDDs.
link binary only