mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
toggle enable-ternary to true
This commit is contained in:
parent
154fed7783
commit
a4ece21461
|
@ -34,7 +34,7 @@ class params_ref;
|
|||
class reslimit;
|
||||
class statistics;
|
||||
|
||||
#define ENABLE_TERNARY false
|
||||
#define ENABLE_TERNARY true
|
||||
|
||||
namespace sat {
|
||||
#define SAT_VB_LVL 10
|
||||
|
|
Loading…
Reference in a new issue