blob: 766da793a15b965c3d4c7f176a2e3721acb3eaea (
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
|
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 = "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"
|