Age | Commit message (Expand) | Author |
---|---|---|
2015-01-12 | Rewrite constraint handling | Björn Gustavsson |
2013-05-31 | Normalize SIZE constraints to simplify backends | Björn Gustavsson |
2013-05-31 | Fix handling of open interval constraints with pre-defined integers | Björn Gustavsson |
2012-12-18 | Add a test case for constraint equivalence | Björn Gustavsson |