aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/internal/ReasoningAdapterImpl.java
Commit message (Expand)AuthorAge
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
* feat: declarative DSE rules and model refinementLibravatar Kristóf Marussy2023-09-07
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
* feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 14:38:23 +0000