mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
injectivity: Add tactic to CMake-based builds
This commit is contained in:
parent
ae9ace2321
commit
b877c962ca
|
@ -9,6 +9,7 @@ z3_add_component(core_tactics
|
|||
distribute_forall_tactic.cpp
|
||||
elim_term_ite_tactic.cpp
|
||||
elim_uncnstr_tactic.cpp
|
||||
injectivity_tactic.cpp
|
||||
nnf_tactic.cpp
|
||||
occf_tactic.cpp
|
||||
pb_preprocess_tactic.cpp
|
||||
|
@ -22,6 +23,7 @@ z3_add_component(core_tactics
|
|||
collect_occs.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
normal_forms
|
||||
rewriter
|
||||
tactic
|
||||
TACTIC_HEADERS
|
||||
blast_term_ite_tactic.h
|
||||
|
@ -32,6 +34,7 @@ z3_add_component(core_tactics
|
|||
distribute_forall_tactic.h
|
||||
elim_term_ite_tactic.h
|
||||
elim_uncnstr_tactic.h
|
||||
injectivity_tactic.h
|
||||
nnf_tactic.h
|
||||
occf_tactic.h
|
||||
pb_preprocess_tactic.h
|
||||
|
|
Loading…
Reference in a new issue