blob: 6f6900da0e7c75cd1a050bb4dfe2a17624044fa7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module UF "theory/uf/options.h" Uninterpreted functions theory
option ufSymmetryBreaker uf-symmetry-breaker --enable-symmetry-breaker/--disable-symmetry-breaker bool :read-write :default true
use UF symmetry breaker (Deharbe et al., CADE 2011)
/turns off UF symmetry breaker (Deharbe et al., CADE 2011)
endmodule
|