Owned by petersn.
#14 in #cnf
9KB 244 lines
Automatic conversion of functions to CNF for SAT solving