Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix Z3 dependency | Kristóf Marussy | 2020-11-26 |
| | |||
* | 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 |