Age | Commit message (Expand) | Author |
---|---|---|
2021-05-21 | Fix tests of unsat cores (#6593) | Andrew Reynolds |
2020-12-15 | Remove bv divide by zero option (#5672) | Andrew Reynolds |
2020-09-22 | Add simple BV solver (#5065) | Mathias Preiner |
2020-09-03 | Added a new rule to simplify (bvugt (bvurem T x) x) (#4993) | Gereon Kremer |