togasat
togasat copied to clipboard
Published
20 hours ago •
togatoga
togatoga
A Header-Only CDCL SAT Solver for Programming Contest
Results
1
togasat issues
Sort by
recently updated
recently updated
newest added
## Code ```c++ // sat_solver.cpp #include #include #include "togasat.hpp" int main() { togasat::Solver solver; std::vector clause0 = {1}; std::vector clause1 = {1}; solver.addClause(clause0); solver.addClause(clause1); std::cout
