Age | Commit message (Expand) | Author |
---|---|---|
2020-03-26 | Added unit-cube-like test for branch and bound (#3922) | Amalee |
2018-08-21 | Makes the new row propagation system default (#2335) | Haniel Barbosa |
2018-08-16 | Refactor extended rewriter preprocessing pass (#2324) | Haniel Barbosa |