Empty Clauses#15

Closed

sacado wants to merge 1 commit intowkschwartz:masterfrom

Commits on Jul 2, 2015

Modified pigosat.AddClauses so that empty clauses are no longer ignored and make the formula UNSAT ; modified tests consequently

Fabien Delorme
authored and
Fabien Delorme
committed