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/def.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeReaderCnf (SCIP *scip)