Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean | |
- can now output LFSC checkable resolution proofs - added configuration option --enable-proof - added command line argument --proof To turn proofs on build with proofs enabled and run with --proof. |