Home
last modified time | relevance | path

Searched refs:BinaryClauseManager (Results 1 – 3 of 3) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dclause.h385 class BinaryClauseManager {
387 BinaryClauseManager() {} in BinaryClauseManager() function
410 DISALLOW_COPY_AND_ASSIGN(BinaryClauseManager);
H A Dsat_solver.h705 BinaryClauseManager binary_clauses_;
/dports/math/py-or-tools/or-tools-9.2/ortools/bop/
H A Dbop_base.h239 sat::BinaryClauseManager binary_clause_manager_;