Verified Commit 1acba6b9 authored by
Print proofs from picosat when result is unsatisfiable
This prints a lot of text, but syslog should handle it. This should allows us to found out why sat concluded result it concluded when we encounter some bugs.
Showing with 63 additions and 16 deletions