aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/crossreference/DirectedCrossReferenceInitializer.java
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08