/dports/math/cvc4/CVC4-1.7/src/prop/minisat/ |
H A D | minisat.h | 53 SatVariable trueVar() override { return d_minisat->trueVar(); } in trueVar() function
|
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/samples/ |
H A D | RankingSampleSat.java | 108 IntVar trueVar = model.newConstant(1); in main() local
|
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/ |
H A D | bvminisat.h | 86 SatVariable trueVar() override { return d_minisat->trueVar(); } in trueVar() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/ |
H A D | cadical.cpp | 102 SatVariable CadicalSolver::trueVar() { return d_true; } in trueVar() function in CVC4::prop::CadicalSolver
|
H A D | cryptominisat.cpp | 156 SatVariable CryptoMinisatSolver::trueVar() { in trueVar() function in CVC4::prop::CryptoMinisatSolver
|
/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | clausal_bitvector_proof.cpp | 48 prop::SatVariable trueVar, in initCnfProof()
|
H A D | resolution_bitvector_proof.cpp | 60 prop::SatVariable trueVar, in initCnfProof()
|
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/muq2/modules/Approximation/test/PolynomialChaos/ |
H A D | PolynomialChaosExpansionTest.cpp | 82 double trueVar = 16.0/63.0; in TEST() local
|
/dports/sysutils/istio/istio-1.6.7/mixer/adapter/kubernetesenv/ |
H A D | kubernetesenv_test.go | 533 var trueVar = true var
|
/dports/math/cvc4/CVC4-1.7/test/unit/prop/ |
H A D | cnf_stream_white.h | 57 SatVariable trueVar() override { return d_nextVar++; } in trueVar() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
H A D | Solver.h | 109 Var trueVar() const { return varTrue; } in trueVar() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
H A D | Solver.h | 136 Var trueVar() const { return varTrue; } in trueVar() function
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | solver.cpp | 142 Var trueVar = assign_.addVar(); in Solver() local
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | solver.cpp | 146 Var trueVar = assign_.addVar(); in Solver() local
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | solver.cpp | 146 Var trueVar = assign_.addVar(); in Solver() local
|