There are 0 repository under cnf-encoding topic.
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
A Free World Class High Performance SAT Solver
Transformer of propositional logic expressions to CNF and DNF