Commit cfc3d7ec authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

cadical adaptation

parent bb64ba76
......@@ -16,6 +16,7 @@ SUBool::CadicalBind::SolverInit()
mSolver->set("seed", sub_rand() % 2147483647);
mSolver->set("verbose", -1);
mSolver->set("quiet", 1);
Adapt();
if (mCollectLearnts)
{
if (!mLearner)
......@@ -28,7 +29,6 @@ SUBool::CadicalBind::SolverInit()
}
mSolver->connect_learner(mLearner.get());
}
Adapt();
}
bool
......@@ -200,21 +200,20 @@ SUBool::CadicalBind::Adapt(const SolverInterface::ADAPTATION adapt)
void
SUBool::CadicalBind::Adapt()
{
#if 0
// TODO: Unclear how, should be possible to do it similar to Kissat, but the
// options are slightly different in CaDiCaL.
switch (mAdapt)
{
case SolverInterface::ADAPTATION::LIKELY_SAT:
mSolver->set("target", TARGET_SAT);
mSolver->configure("sat");
break;
case SolverInterface::ADAPTATION::LIKELY_UNSAT:
mSolver->set("stable", STABLE_UNSAT);
mSolver->configure("unsat");
break;
default:
mSolver->configure("default");
break;
}
#endif
}
size_t
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment