search

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver
Other
15 stars 4 forks source link

Empty Clauses #15

Closed sacado closed 7 years ago

sacado commented 9 years ago

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

wkschwartz commented 9 years ago

Please amend the docstrings for AddClauses and for type Clause to say that "Empty clauses are no ignored and make a formula unsatisfiable."

wkschwartz commented 9 years ago

Ref #14

wkschwartz commented 8 years ago

@sacado My goal is to merge this PR once #12 is merged. Would you mind hitting Edit on the PR and click "Allow edits from maintainers"? This will allow me to change some minor things without having to send a PR to your branch first.