add_library(minisat2 OBJECT
    simp/SimpSolver.cc
    core/Solver.cc
    core_prop/Solver_prop.cc
    utils/System.cc
)
