aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/Seed.java
Commit message (Expand)AuthorAge
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01