Age | Commit message (Expand) | Author |
---|---|---|
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 |