mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

Guard the creation of solvers in qfnia_tactic.cpp by a define

Browse source
This commit is contained in:
Lev Nachmanson 2019-03-16 21:07:53 -07:00
parent 53e329b324
commit 9302d8bef3
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tactic/smtlogics/CMakeLists.txt
View file

@ -40,3 +40,4 @@ z3_add_component(smtlogic_tactics
qfufbv_tactic.h
quant_tactics.h
)
add_definitions(-DSTART_ONLY_QFNIA_SMT)