diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-19 14:39:39 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-19 14:39:39 +0200 |
| commit | b7a46b805bd7fbb3b21a48a035698ab11fadcb7c (patch) | |
| tree | ab8787dd0699cfb5a0fa1084719a0375e5b0c85b /subprojects/store-reasoning/src/main/java | |
| parent | refactor: move ITC algorithms (diff) | |
| download | refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.tar.gz refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.tar.zst refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.zip | |
feat: interruptible VIATRA engine
Reduce server load by introducing a timeout for semantics analysis.
Diffstat (limited to 'subprojects/store-reasoning/src/main/java')
0 files changed, 0 insertions, 0 deletions