blob: 1c7e12a7d654bd05fd33fb3517e8abc7fea4a2d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module SETS "options/sets_options.h" Sets
option setsProxyLemmas --sets-proxy-lemmas bool :default false
introduce proxy variables eagerly to shorten lemmas
option setsInferAsLemmas --sets-infer-as-lemmas bool :default true
send inferences as lemmas
option setsRelEager --sets-rel-eager bool :default true
standard effort checks for relations
endmodule
|