1 #include "inc_solver.h"
3 int main(int argc, char **argv) {
4 IncrementalSolver * s=new IncrementalSolver();
5 s->addClauseLiteral(1);s->addClauseLiteral(2);s->addClauseLiteral(0);
7 s->freeze(1); s->freeze(2);
8 printf("solution=%d\n", s->solve());
9 s->addClauseLiteral(-1);s->addClauseLiteral(0);
11 printf("solution=%d\n", s->solve());
12 s->addClauseLiteral(-2);s->addClauseLiteral(0);
14 printf("solution=%d\n", s->solve());