2020-05-18 15:42:24 +00:00
|
|
|
set(sources
|
|
|
|
|
CHCSmtLib2Interface.cpp
|
|
|
|
|
CHCSmtLib2Interface.h
|
2020-05-19 12:52:31 +00:00
|
|
|
Exceptions.h
|
2020-05-18 15:42:24 +00:00
|
|
|
SMTLib2Interface.cpp
|
|
|
|
|
SMTLib2Interface.h
|
2023-08-11 15:59:52 +00:00
|
|
|
SMTLibParser.cpp
|
|
|
|
|
SMTLibParser.h
|
2020-05-18 15:42:24 +00:00
|
|
|
SolverInterface.h
|
|
|
|
|
Sorts.cpp
|
|
|
|
|
Sorts.h
|
2020-05-11 17:56:29 +00:00
|
|
|
Helpers.h
|
2020-05-18 15:42:24 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2020-12-03 01:06:30 +00:00
|
|
|
|
2023-06-20 14:10:45 +00:00
|
|
|
add_library(smtutil ${sources})
|
2020-05-19 10:23:01 +00:00
|
|
|
target_link_libraries(smtutil PUBLIC solutil Boost::boost)
|
