diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-12-15 12:37:23 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-12-15 12:37:23 +0100 |
commit | e600773f0e189d22c5f28ee1d443ba38e5fa72e8 (patch) | |
tree | 6c12ccb1a9a633a3ae7c6ce11091fde41a7bfc49 /src/options | |
parent | 90e3b73fbd1b2eb262a7a7e2e72d701c8f9e3600 (diff) |
Add option uf-ss-fair-monotone. Minor cleanup and improvement of sort inference.
Diffstat (limited to 'src/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 |