Commit message (Expand) | Author | Age | |
---|---|---|---|
* | variable indexing bugs in referred patterns in UP | Oszkar Semerath | 2020-05-12 |
* | separated must and current UP rules to support non-prop neg finds | Oszkar Semerath | 2020-05-11 |
* | Numeric Solver integration to exploration | Oszkar Semerath | 2020-05-09 |
* | removed unnecesary logging | Oszkar Semerath | 2020-05-08 |
* | UP patterns -> decision procedure trace finished | Oszkar Semerath | 2020-05-08 |
* | Unit propagation trace fixes | Oszkar Semerath | 2020-05-08 |
* | viatra parsing fixes | Oszkar Semerath | 2020-05-07 |
* | UnitPropagationProvider added to the generated patterns | Oszkar Semerath | 2020-04-30 |
* | UP rule precondition provider | Oszkar Semerath | 2020-04-30 |