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