From 5ac92c1329d2c3097f7d8c0c7adb19101b6d8414 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 31 Dec 2014 22:17:49 +0900 Subject: [PATCH] update test case --- test_solver.cc | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test_solver.cc b/test_solver.cc index 90e03fe..09bc923 100644 --- a/test_solver.cc +++ b/test_solver.cc @@ -6,11 +6,20 @@ int main(int argc, char **argv) { s->finishedClauses(); s->freeze(1); s->freeze(2); printf("solution=%d\n", s->solve()); + for(int i=0;i<=2;i++) { + printf("%d: %d\n",i, s->getValue(i)); + } s->addClauseLiteral(-1);s->addClauseLiteral(0); s->finishedClauses(); printf("solution=%d\n", s->solve()); + for(int i=0;i<=2;i++) { + printf("%d: %d\n",i, s->getValue(i)); + } s->addClauseLiteral(-2);s->addClauseLiteral(0); s->finishedClauses(); printf("solution=%d\n", s->solve()); + for(int i=0;i<=2;i++) { + printf("%d: %d\n",i, s->getValue(i)); + } delete s; } -- 2.34.1