blob: 3e093cb8be376f95ba9ceca0c24768703c021514 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#
# 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
option setsExt --sets-ext bool :default false
enable extended symbols such as complement and universe in theory of sets
endmodule
|