| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | transred.cpp | 71 int64_t propagations = 0, units = 0, removed = 0; in transred() local
|
| H A D | limit.hpp | 41 struct { int64_t propagations; } transred, vivify; member
43 struct { int64_t propagations, reductions; } probe; member
|
| H A D | walk.cpp | 14 int64_t propagations; // number of propagations member
190 int64_t propagations = 0; in walk_pick_lit() local
|
| H A D | checker.hpp | 135 int64_t propagations; // number of propagated literals member
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/core/ |
| H A D | engine.h | 66 long long int conflicts, nodes, propagations, solutions, next_simp_db; variable
|
| H A D | sat.h | 113 long long int propagations, back_jumps, nrestarts, next_simp_db; variable
|
| /dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
| H A D | nra_plugin_internal.h | 77 statistic_int_t* propagations; member
|
| /dports/math/boolector/boolector-3.2.2/src/sat/ |
| H A D | btorcms.cc | 151 uint64_t calls, conflicts, decisions, propagations; member in BtorCMS
|
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btorslvfun.h | 54 uint_least64_t propagations; member
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
| H A D | Solver.h | 65 unsigned long long int propagations; member
154 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satVec.h | 154 ABC_INT64_T decisions, propagations, inspects, conflicts; member
|
| /dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/ |
| H A D | Solver.h | 95 uint64_t starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/math/igraph/igraph-0.9.5/vendor/glpk/minisat/ |
| H A D | minisat.h | 137 double starts, decisions, propagations, inspects, conflicts; member
|
| /dports/math/glpk/glpk-5.0/src/minisat/ |
| H A D | minisat.h | 137 double starts, decisions, propagations, inspects, conflicts; member
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solvertypes.h | 495 uint64_t propagations = 0; ///<Number of propagations made member
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solvertypes.h | 495 uint64_t propagations = 0; ///<Number of propagations made member
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | minisat_solver.h | 163 int64_t starts, decisions, propagations, conflicts, theory_conflicts, max_level; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | Solver.h | 138 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/math/yices/yices-2.6.2/src/mcsat/uf/ |
| H A D | uf_plugin.c | 64 statistic_int_t* propagations; member
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/minisat/ |
| H A D | Solver.h | 151 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | Solver.h | 151 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/ |
| H A D | Solver.h | 151 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/math/vampire/vampire-4.5.1/Minisat/core/ |
| H A D | Solver.h | 157 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | Solver.h | 206 uint64_t solves, starts, decisions, rnd_decisions, propagations, conflicts; variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | Solver.h | 187 …nbDL2,nbBin,nbUn,nbReduceDB,solves, starts, decisions, rnd_decisions, propagations, conflicts,conf… variable
|