cnf-encoding topic

List cnf-encoding repositories

cgen

21
Stars
6
Forks
Watchers

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.

verified publisher icon vsklad

slime-sat-solver

20
Stars
1
Forks
Watchers

A Free World Class High Performance SAT Solver

verified publisher icon maxtuno