Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |
2016-12-07 | Refactoring, generalization of bounded inference module. Simplification of ↵ | ajreynol | |
rep set iterator. Disable quantifiers dynamic splitting for variables that are inferred bounded. Minor changes to fmc mbqi. Add regressions. |