### Navigation

- index
- modules |
- Sat »

# Index – C

clauses() (sage.sat.converters.polybori.CNFEncoder method) (sage.sat.solvers.dimacs.DIMACS 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)

### Navigation

- index
- modules |
- Sat »