| /dports/math/ogdf/OGDF/src/ogdf/lib/minisat/core/ |
| H A D | Solver.cpp | 649 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
650 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
747 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
748 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
869 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
870 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
915 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
916 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/minisat/ |
| H A D | 00_PATCH_typofixes.patch | 13 double learntsize_adjust_confl;
|
| H A D | Solver.cc | 741 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
742 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
857 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
858 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 230 double learntsize_adjust_confl; variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | Solver.cpp | 647 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
648 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
760 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
761 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 204 double learntsize_adjust_confl; variable
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | Solver.cc | 735 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
736 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
851 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
852 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 230 double learntsize_adjust_confl; variable
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/ |
| H A D | Solver.cc | 735 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
736 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
851 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
852 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 230 double learntsize_adjust_confl; variable
|
| /dports/math/vampire/vampire-4.5.1/Minisat/core/ |
| H A D | Solver.cc | 740 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
741 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
858 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
859 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 236 double learntsize_adjust_confl; variable
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | Solver.cc | 145 , max_learnts(0.0), learntsize_adjust_confl(0.0), learntsize_adjust_cnt(0) in Solver()
1064 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
1065 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
1219 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
1220 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 288 double learntsize_adjust_confl; variable
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | Solver.cc | 1314 learntsize_adjust_confl *= learntsize_adjust_inc; in search()
1315 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in search()
1476 learntsize_adjust_confl = learntsize_adjust_start_confl; in solve_()
1477 learntsize_adjust_cnt = (int)learntsize_adjust_confl; in solve_()
|
| H A D | Solver.h | 377 double learntsize_adjust_confl; variable
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
| H A D | Solver.h | 220 double learntsize_adjust_confl; variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | Solver.h | 274 double learntsize_adjust_confl; variable
|
| /dports/math/glucose/glucose-syrup-4.1/core/ |
| H A D | Solver.h | 381 double learntsize_adjust_confl; variable
|