Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Use String to create RealExpr | 2020-05-13 | |
| | |||
* | removed unnecesary printing | 2020-05-12 | |
| | |||
* | 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 | |