Scippy

SCIP

Solving Constraint Integer Programs

Functions
reader_cnf.h File Reference
Public API of SCIP » Plugin API of SCIP » File Readers

Detailed Description

CNF file reader.

Author
Thorsten Koch
Tobias Achterberg

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.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeReaderCnf (SCIP *scip)