Index – C

clauses() (sage.sat.converters.polybori.CNFEncoder method) (sage.sat.solvers.cryptominisat.CryptoMiniSat method) (sage.sat.solvers.dimacs.DIMACS method) (sage.sat.solvers.picosat.PicoSAT method) (sage.sat.solvers.satsolver.SatSolver method) clauses_dense() (sage.sat.converters.polybori.CNFEncoder method) clauses_sparse() (sage.sat.converters.polybori.CNFEncoder method) CNFEncoder (class in sage.sat.converters.polybori) CNFEncoder.permutations() (in module sage.sat.converters.polybori) conflict_clause() (sage.sat.solvers.satsolver.SatSolver method) CryptoMiniSat (class in sage.sat.solvers.cryptominisat)