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

Log output

parent ef2e1860
......@@ -10,6 +10,7 @@
void
SUBool::CadicalBind::SolverInit()
{
logs.TLog(3) << "Initializing CaDiCaL solver" << std::endl;
mSolver = std::make_unique<CaDiCaL::Solver>();
mResult = PartialValue::UNDEF;
mSolver->set("seed", sub_rand() % 2147483647);
......
......@@ -168,6 +168,7 @@ template <class Solver>
bool
SUBool::GlucoseBind<Solver>::Reset(const CNF &cnf)
{
logs.TLog(3) << "Initializing Glucose solver" << std::endl;
mSolver = std::make_unique<Solver>(mAdapt);
mResult = PartialValue::UNDEF;
return AddCnf(cnf);
......
......@@ -122,6 +122,7 @@ template <class Solver>
bool
SUBool::KissatBind<Solver>::Reset(const CNF &cnf)
{
logs.TLog(3) << "Initializing Kissat solver" << std::endl;
mSolver = std::make_unique<Solver>(mAdapt);
mResult = PartialValue::UNDEF;
return AddCnf(cnf);
......
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