Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
* | add numericProblemSolver supertype | Aren Babikian | 2021-01-06 |
* | prep for refactoring Numeric Probelm Solvers | Aren Babikian | 2021-01-06 |
* | NumericProblemSolver is initialized only if it is necessary | Oszkar Semerath | 2020-11-13 |
* | Numeric Solver integration to exploration | Oszkar Semerath | 2020-05-09 |
* | Added new test | anqili426 | 2020-04-22 |
* | Added test methods with running time measurement | anqili426 | 2020-04-15 |
* | Updated logic that creates a numeric problem using matches | anqili426 | 2020-04-08 |
* | Added call to form numeric problem templates | anqili426 | 2020-03-31 |
* | parsing count, min, max, check and eval v1 | Oszkar Semerath | 2019-07-15 |