toysolver-0.0.3: samples/sat/empty-clause.cnf

p cnf 0 1
0