# Other CSP Formats¶

## DIMACS¶

The DIMACS format is used to encode boolean satisfiability problems in conjunctive normal form.

### CNF¶

 load_cnf(fp) Load a constraint satisfaction problem from a .cnf file.