Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Normalise line endings using a .gitattributes file. Unfortunately | 2015-06-28 | |
* | Add USE_PREDICATES option to TPTP and SMT provers | 2011-02-11 | |
* | Make the SMTLIB backend work again, particularly with /typeEncoding:m | 2011-01-19 | |
* | Fix a bug in distinct() encoding | 2011-01-19 | |
* | The TPTP backend works for some very limited examples | 2011-01-18 | |
* | Copy SMTLib "prover" as a basis for TPTP "prover". | 2011-01-18 |