test_solver.cc

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