Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-02-09 | More complete guess instantiation strategy, cvc4 now typically times out ↵ | Andrew Reynolds | |
instead of answering unknown for benchmarks with quantifiers. Modified regressions accordingly. Minor fix for QCF regarding variable ordering. Improved relevant domain computation. Minor optimization for --mbqi=fmc | |||
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 ↵ | Morgan Deters | |
success, nonzero error | |||
2013-05-21 | Fix bug 512: an assertion failure only appearing with clang on Mac OS, due ↵ | Morgan Deters | |
to improper ITE removal in quantifier instantiations. |