Age | Commit message (Expand) | Author |
---|---|---|
2017-04-02 | Adding a model based axiom instantiation scheme for multiplication. Merge com... | Tim King |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2012-11-12 | Improved error reporting for improperly using non-linear division in linear a... | Tim King |