Home
last modified time | relevance | path

Searched defs:permDiff (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dcnf.h189 vector<uint64_t> permDiff; variable
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dcnf.h189 vector<uint64_t> permDiff; variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DSolver.h247 …vec<unsigned int> permDiff; // permDiff[var] contains the current conflict number... Used to … variable
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.h353 …vec<unsigned int> permDiff; // permDiff[var] contains the current conflict number... U… variable