Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | further fixes related to using uninterpreted function for error traces | 2012-02-25 | |
| | | | | removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution | ||
* | Add PROVER_PATH prover option (to base options, but currently only used by ↵ | 2011-08-29 | |
SMTLib) Add support for Inspector with latest Z3/SMT2 frontend |