/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/qfb/ |
H A D | exponent_element.c | 131 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 D | exponent_element.c | 131 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 D | exponent_element.c | 131 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 D | Solver.cpp | 67 , 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 D | MultiSolvers.h | 142 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
|
H A D | ParallelSolver.cc | 470 …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 D | solverconf.cpp | 110 , restart_inc(1.1) in SolverConf()
|
H A D | solverconf.h | 266 …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 D | solverconf.cpp | 110 , restart_inc(1.1) in SolverConf()
|
H A D | solverconf.h | 266 …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 D | Solver.cpp | 67 , 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 D | Solver.h | 129 …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 D | Solver.cc | 77 , 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 D | Solver.h | 142 …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 D | Solver.cc | 71 , 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 D | Solver.h | 142 …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 D | Solver.cc | 71 , 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 D | Solver.cc | 76 , 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 D | Solver.C | 34 …, 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 D | Solver.h | 84 …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 D | minisat.cpp | 141 d_minisat->restart_inc = options::satRestartInc(); in setupOptions()
|
/dports/math/glucose/glucose-syrup-4.1/core/ |
H A D | Solver.cc | 161 , 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 D | Solver.cc | 108 , 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 D | Solver.cc | 120 , 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 D | Solver.h | 145 …double restart_inc; // The factor with which the restart limit is multiplied in each res… variable
|