Index - C
| card | Ersatz.Relation |
| choose | Ersatz.Bit, Ersatz |
| Clause | |
| 1 (Type/Class) | Ersatz.Internal.Formula |
| 2 (Data Constructor) | Ersatz.Internal.Formula |
| clauseLiterals | Ersatz.Internal.Formula |
| clauseSet | Ersatz.Internal.Formula |
| Codec | Ersatz.Codec, Ersatz |
| codomain | Ersatz.Relation |
| complement | Ersatz.Relation |
| complete | Ersatz.Relation |
| confluent | Ersatz.Relation |
| connected | Ersatz.Relation |
| convergent | Ersatz.Relation |
| cryptominisat | Ersatz.Solver.Minisat, Ersatz.Solver, Ersatz |
| cryptominisat5 | Ersatz.Solver.Minisat, Ersatz.Solver, Ersatz |
| cryptominisat5Path | Ersatz.Solver.Minisat, Ersatz.Solver, Ersatz |