Home
last modified time | relevance | path

Searched refs:restart_inc (Results 1 – 25 of 38) sorted by relevance

12

/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/qfb/
H A Dexponent_element.c131 slong i, j, iters = 1024, restart_inc; in qfb_exponent_element() local
186 restart_inc = (((hi/1024 + 127)/128))*1024; in qfb_exponent_element()
201 if ((i % restart_inc) == 0 && need_restarts) in qfb_exponent_element()
/dports/math/e-antic/antic-f4e8a60/qfb/
H A Dexponent_element.c131 slong i, j, iters = 1024, restart_inc; in qfb_exponent_element() local
186 restart_inc = (((hi/1024 + 127)/128))*1024; in qfb_exponent_element()
201 if ((i % restart_inc) == 0 && need_restarts) in qfb_exponent_element()
/dports/math/antic/antic-0.2.4/qfb/
H A Dexponent_element.c131 slong i, j, iters = 1024, restart_inc; in qfb_exponent_element() local
186 restart_inc = (((hi/1024 + 127)/128))*1024; in qfb_exponent_element()
201 if ((i % restart_inc) == 0 && need_restarts) in qfb_exponent_element()
/dports/math/ogdf/OGDF/src/ogdf/lib/minisat/core/
H A DSolver.cpp67 , restart_inc (opt_restart_inc) in Solver()
883 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
930 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
/dports/math/glucose/glucose-syrup-4.1/parallel/
H A DMultiSolvers.h142 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
H A DParallelSolver.cc470 …status = search(luby_restart?luby(restart_inc, curr_restarts)*luby_restart_factor:0); // the para… in solve_()
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsolverconf.cpp110 , restart_inc(1.1) in SolverConf()
H A Dsolverconf.h266 …double restart_inc; ///<The factor with which the restart limit is multiplied in each re… variable
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsolverconf.cpp110 , restart_inc(1.1) in SolverConf()
H A Dsolverconf.h266 …double restart_inc; ///<The factor with which the restart limit is multiplied in each re… variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSolver.cpp67 , restart_inc (opt_restart_inc) in Solver()
774 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
H A DSolver.h129 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSolver.cc77 , restart_inc (opt_restart_inc) in Solver()
871 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
H A DSolver.h142 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
/dports/math/minisat/minisat-2.2.1/minisat/core/
H A DSolver.cc71 , restart_inc (opt_restart_inc) in Solver()
865 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
H A DSolver.h142 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/
H A DSolver.cc71 , restart_inc (opt_restart_inc) in Solver()
865 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
/dports/math/vampire/vampire-4.5.1/Minisat/core/
H A DSolver.cc76 , restart_inc (opt_restart_inc) in Solver()
872 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
/dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/
H A DSolver.C34 …, restart_first(100), restart_inc(1.5), learntsize_factor((double)1/(double)3), learntsize_inc(1.1) in Solver()
728 nof_conflicts *= restart_inc; in solve()
H A DSolver.h84 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/
H A Dminisat.cpp141 d_minisat->restart_inc = options::satRestartInc(); in setupOptions()
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc161 , restart_inc(opt_restart_inc) in Solver()
247 , restart_inc(s.restart_inc) in Solver()
1791 …luby_restart ? luby(restart_inc, curr_restarts) * luby_restart_factor : 0); // the parameter is us… in solve_()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.cc108 , restart_inc (opt_restart_inc) in Solver()
1233 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.cc120 , restart_inc (opt_restart_inc) in Solver()
1490 …double rest_base = luby_restart ? luby(restart_inc, curr_restarts) : pow(restart_inc, curr_restart… in solve_()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/
H A DSolver.h145 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable

12