reader_cnf.h
Go to the documentation of this file.
22 * The DIMACS CNF (conjunctive normal form) is a file format used for example for SAT problems. For a detailed description of
26 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
Definition: struct_scip.h:59
SCIP_EXPORT SCIP_RETCODE SCIPincludeReaderCnf(SCIP *scip)
Definition: reader_cnf.c:432
type definitions for return codes for SCIP methods
type definitions for SCIP's main datastructure
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33