Home
last modified time | relevance | path

Searched refs:smt_restart (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_core3.c264 smt_restart(core); in sat_solve()
H A Dtest_core2.c250 smt_restart(core); in sat_solve()
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsmt_core.h1717 extern void smt_restart(smt_core_t *s);
H A Dsmt_core.c6170 void smt_restart(smt_core_t *s) { in smt_restart() function
/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_solver.c428 smt_restart(core); in solve()