reader_cnf.h File Reference
Detailed Description
CNF file reader.
The DIMACS CNF (conjunctive normal form) is a file format used for example for SAT problems. For a detailed description of this format see http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html .
Definition in file reader_cnf.h.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPincludeReaderCnf (SCIP *scip) |