Souffle Early Stopping #2072
Unanswered
philzook58
asked this question in
Q&A
Replies: 1 comment
-
We have something like this; can you look up the |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I'm interested in using souffle for problems where a counter or an external function may keep creating new unseen values so that datalog may in principle not terminate.
I was wondering if there was a way to invoke souffle such that it would stop after N iterations, some timeout, or some database size and still dump the current database seen so far?
Beta Was this translation helpful? Give feedback.
All reactions