Age | Commit message (Expand) | Author |
---|---|---|
2021-03-06 | Remove SMT-LIB 2.5 and 2.0 support. (#6068) | Mathias Preiner |
2020-02-21 | Switch to th_lira.plf (#3741) | Alex Ozdemir |
2018-05-22 | Set same options for proofs as for unsat cores (#1957) | Andres Noetzli |
2015-04-23 | Added option for --check-unsat-cores and various core bug fixes (merge of Mor... | Liana Hadarean |
2014-06-06 | Patch for the subtype theoryof mode to make the equalities over disequal type... | Tim King |