Home
last modified time | relevance | path

Searched defs:num_backtracks (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_solver.h132 int num_backtracks; member
/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dparallel_tactic.cpp540 unsigned num_backtracks = 0, width = 0; in cube_and_conquer() local