Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat(language): node constants in rule actions | Kristóf Marussy | 2024-05-26 |
* | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 |
* | refactor: move terms and DNF into logic subproject | Kristóf Marussy | 2024-04-07 |