Home
last modified time | relevance | path

Searched refs:lbLBDFrozenClause (Results 1 – 4 of 4) sorted by relevance

/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc136 , lbLBDFrozenClause(opt_lb_lbd_frozen_clause) in Solver()
220 , lbLBDFrozenClause(s.lbLBDFrozenClause) in Solver()
770 if(c.lbd() <= lbLBDFrozenClause) { in analyze()
1769 … * Protected : (lbd)< %2d | |\n", R, lbLBDFrozenClause); in solve_()
1776 … * Protected : (lbd)< %2d | |\n", R, lbLBDFrozenClause); in solve_()
H A DSolver.h212 unsigned int lbLBDFrozenClause; variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp111 , lbLBDFrozenClause (opt_lb_lbd_frozen_clause) in Solver()
560 if(c.lbd()<=lbLBDFrozenClause) { in analyze()
1237 … | * Protected : (lbd)< %2d | |\n",R,lbLBDFrozenClause); in solve_()
H A DSolver.h164 unsigned int lbLBDFrozenClause; variable