hurshow

icon company Nanjing University icon location Earth

Results 1 issues of hurshow

Incorrect `buildReason` leads to "Critical error: bad learnt clause."

Hello! I am implementing a new theory on top of MonoSAT, but MonoSAT sometimes crashes. The exception is thrown by `lbool Solver::search(int nof_conflicts)` from `Solver.cc`. ```c++ if(value(learnt_clause[0]) == l_Undef){ uncheckedEnqueue(learnt_clause[0],...