diff options
Diffstat (limited to 'src/options/uf_options')
-rw-r--r-- | src/options/uf_options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options/uf_options b/src/options/uf_options index baea1cb41..e7df9a2db 100644 --- a/src/options/uf_options +++ b/src/options/uf_options @@ -38,5 +38,7 @@ option ufssSymBreak --uf-ss-sym-break bool :default false finite model finding symmetry breaking techniques option ufssFairness --uf-ss-fair bool :default true use fair strategy for finite model finding multiple sorts +option ufssFairnessMonotone --uf-ss-fair-monotone bool :read-write :default false + group monotone sorts when enforcing fairness for finite model finding endmodule |