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

p cnf 0 1
0