diff options
Diffstat (limited to 'src/main/options')
| -rw-r--r-- | src/main/options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/options b/src/main/options index 53c04a2c4..caea63f5a 100644 --- a/src/main/options +++ b/src/main/options @@ -37,6 +37,8 @@ option sharingFilterByLength --filter-lemma-length=N int :default -1 :read-write don't share (among portfolio threads) lemmas strictly longer than N option fallbackSequential --fallback-sequential bool :default false Switch to sequential mode (instead of printing an error) if it can't be solved in portfolio mode +option incrementalParallel --incremental-parallel bool :default false :link --incremental + Use parallel solver even in incremental mode (may print 'unknown's at times) expert-option waitToJoin --wait-to-join bool :default true wait for other threads to join before quitting |