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;
}