blob: 3d46b3be387f21ee1cbfb68d8e9eea37b94232c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
id = "SETS"
name = "Sets"
header = "options/sets_options.h"
[[option]]
name = "setsProxyLemmas"
category = "regular"
long = "sets-proxy-lemmas"
type = "bool"
default = "false"
read_only = true
help = "introduce proxy variables eagerly to shorten lemmas"
[[option]]
name = "setsInferAsLemmas"
category = "regular"
long = "sets-infer-as-lemmas"
type = "bool"
default = "true"
read_only = true
help = "send inferences as lemmas"
[[option]]
name = "setsRelEager"
category = "regular"
long = "sets-rel-eager"
type = "bool"
default = "true"
read_only = true
help = "standard effort checks for relations"
[[option]]
name = "setsExt"
category = "regular"
long = "sets-ext"
type = "bool"
default = "false"
read_only = true
help = "enable extended symbols such as complement and universe in theory of sets"
|