Commit message (Expand) | Author | Age | |
---|---|---|---|
* | precise time measurements for the numeric solver | 2020-05-12 | |
* | Fixed bug in setting constant types | 2020-05-11 | |
* | Added support for real numbers | 2020-05-10 | |
* | closing numerical solver | 2020-05-10 | |
* | Numeric Solver integration to exploration | 2020-05-09 | |
* | Added new test | 2020-04-22 | |
* | Added measurements | 2020-04-15 | |
* | Added test methods with running time measurement | 2020-04-15 | |
* | Added logic to get a solution | 2020-04-15 | |
* | Updated logic that creates a numeric problem using matches | 2020-04-08 | |
* | Added logic to create a numeric problem instance with pattern matches | 2020-04-07 | |
* | Added logic to form numeric problem templates | 2020-03-31 |