Skip to content

Print proofs from picosat when result is unsatisfiable

Karel Koci requested to merge sat-proof into updater-ng

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.

Merge request reports