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