Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Numeric Solver integration to exploration | 2020-05-09 | |
| | |||
* | removed unnecesary logging | 2020-05-08 | |
| | |||
* | UP patterns -> decision procedure trace finished | 2020-05-08 | |
| | |||
* | Unit propagation trace fixes | 2020-05-08 | |
| | |||
* | viatra parsing fixes | 2020-05-07 | |
| | |||
* | UnitPropagationProvider added to the generated patterns | 2020-04-30 | |
| | |||
* | UP rule precondition provider | 2020-04-30 | |