mirror of
https://github.com/Z3Prover/z3
synced 2026-05-02 08:33:45 +00:00
12 lines
190 B
CMake
12 lines
190 B
CMake
z3_add_component(sls_tactic
|
|
SOURCES
|
|
sls_tactic.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
bv_tactics
|
|
core_tactics
|
|
normal_forms
|
|
tactic
|
|
ast_sls
|
|
TACTIC_HEADERS
|
|
sls_tactic.h
|
|
)
|