togatoga / togasat Goto Github PK

// sat_solver.cpp
#include <iostream>
#include <vector>
#include "togasat.hpp"

int main() {
    togasat::Solver solver;
    std::vector<int> clause0 = {1};
    std::vector<int> clause1 = {1};
    solver.addClause(clause0);
    solver.addClause(clause1);
    std::cout << solver.solve() << std::endl;

    return 0;
}