From 86725bc55bda5236052704e72c294fc69fa44eac Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 31 Dec 2014 17:10:30 +0900 Subject: [PATCH] Test case --- test_solver.cc | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 test_solver.cc diff --git a/test_solver.cc b/test_solver.cc new file mode 100644 index 0000000..90e03fe --- /dev/null +++ b/test_solver.cc @@ -0,0 +1,16 @@ +#include "inc_solver.h" + +int main(int argc, char **argv) { + IncrementalSolver * s=new IncrementalSolver(); + s->addClauseLiteral(1);s->addClauseLiteral(2);s->addClauseLiteral(0); + s->finishedClauses(); + s->freeze(1); s->freeze(2); + printf("solution=%d\n", s->solve()); + s->addClauseLiteral(-1);s->addClauseLiteral(0); + s->finishedClauses(); + printf("solution=%d\n", s->solve()); + s->addClauseLiteral(-2);s->addClauseLiteral(0); + s->finishedClauses(); + printf("solution=%d\n", s->solve()); + delete s; +} -- 2.34.1