blob: a7680149f487152cff4888db67bf7315c46eba10 [file] [log] [blame]
include_directories("/home/soos/development/smt/libabc/src")
add_definitions(-DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4)
add_library(tosat OBJECT
BitBlaster.cpp
ToSATBase.cpp
AIG/BBNodeManagerAIG.cpp
AIG/ToCNFAIG.cpp
AIG/ToSATAIG.cpp
AIG/BBNodeAIG.cpp
ASTNode/ClauseList.cpp
ASTNode/SimpBool.cpp
ASTNode/ToCNF.cpp
ASTNode/ToSAT.cpp
)
add_dependencies(tosat ASTKind_header)