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.
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
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.