| /dports/math/py-cryptominisat/cryptominisat-5.8.0/python/tests/ |
| H A D | test_pycryptosat.py | 208 self.solver.add_clauses([[1], [-1]])
217 self.solver.add_clauses(cls)
223 self.solver.add_clauses(cls)
239 self.solver.add_clauses([[-1], [2], [3], [-4]])
324 solver.add_clauses(clauses)
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/python/tests/ |
| H A D | test_pycryptosat.py | 208 self.solver.add_clauses([[1], [-1]])
217 self.solver.add_clauses(cls)
223 self.solver.add_clauses(cls)
239 self.solver.add_clauses([[-1], [2], [3], [-4]])
324 solver.add_clauses(clauses)
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | cms_bosphorus.cpp | 42 void CMSBosphorus::add_clauses() in add_clauses() function in CMSBosphorus
72 add_clauses(); in doit()
|
| H A D | cms_bosphorus.h | 47 void add_clauses();
|
| H A D | cms_breakid.h | 67 bool add_clauses();
|
| H A D | cms_breakid.cpp | 161 bool BreakID::add_clauses() in add_clauses() function in BreakID
245 if (!add_clauses()) { in doit()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | cms_bosphorus.cpp | 42 void CMSBosphorus::add_clauses() in add_clauses() function in CMSBosphorus
72 add_clauses(); in doit()
|
| H A D | cms_bosphorus.h | 47 void add_clauses();
|
| H A D | cms_breakid.h | 67 bool add_clauses();
|
| H A D | cms_breakid.cpp | 161 bool BreakID::add_clauses() in add_clauses() function in BreakID
245 if (!add_clauses()) { in doit()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_elim_vars.cpp | 104 add_clauses(v, b, lits); in elim_var()
160 void elim_vars::add_clauses(bool_var v0, dd::bdd const& b, literal_vector& lits) { in add_clauses() function in sat::elim_vars
201 add_clauses(v0, b.lo(), lits); in add_clauses()
204 add_clauses(v0, b.hi(), lits); in add_clauses()
|
| H A D | sat_elim_vars.h | 59 void add_clauses(bool_var v, dd::bdd const& b, literal_vector& lits);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_elim_vars.cpp | 104 add_clauses(v, b, lits); in elim_var()
160 void elim_vars::add_clauses(bool_var v0, dd::bdd const& b, literal_vector& lits) { in add_clauses() function in sat::elim_vars
201 add_clauses(v0, b.lo(), lits); in add_clauses()
204 add_clauses(v0, b.hi(), lits); in add_clauses()
|
| H A D | sat_elim_vars.h | 59 void add_clauses(bool_var v, dd::bdd const& b, literal_vector& lits);
|
| /dports/math/py-pycosat/pycosat-0.6.3/ |
| H A D | pycosat.c | 124 static int add_clauses(PicoSAT *picosat, PyObject *clauses) in add_clauses() function
173 if (add_clauses(picosat, clauses) < 0) { in setup_picosat()
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/speed-check/ |
| H A D | addclause.py | 34 solver.add_clauses(clauses, max_var=m)
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/scripts/speed-check/ |
| H A D | addclause.py | 34 solver.add_clauses(clauses, max_var=m)
|
| /dports/math/py-sympy/sympy-1.9/sympy/assumptions/ |
| H A D | cnf.py | 294 self.add_clauses(clauses)
311 def add_clauses(self, clauses): member in CNF
321 self.add_clauses(other.clauses)
|
| H A D | satask.py | 334 known_facts_CNF.add_clauses(get_all_known_facts())
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
| H A D | ext.rs | 86 environment.add_clauses(interner, wc.iter(interner).cloned()); in into_peeled_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
| H A D | ext.rs | 86 environment.add_clauses(interner, wc.iter(interner).cloned()); in into_peeled_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
| H A D | ext.rs | 86 environment.add_clauses(interner, wc.iter(interner).cloned()); in into_peeled_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/ |
| H A D | simplify.rs | 55 let new_environment = environment.add_clauses( in simplify_goal()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/go/gofrontend/ |
| H A D | statements.h | 870 add_clauses(Select_clauses* clauses) in add_clauses() function
1378 add_clauses(Case_clauses* clauses) in add_clauses() function
1535 add_clauses(Type_case_clauses* clauses) in add_clauses() function
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/go/gofrontend/ |
| H A D | statements.h | 942 add_clauses(Select_clauses* clauses) in add_clauses() function
1452 add_clauses(Case_clauses* clauses) in add_clauses() function
1623 add_clauses(Type_case_clauses* clauses) in add_clauses() function
|