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*/
SCIP_RETCODE SCIPincludeReaderCnf(SCIP *scip) Definition: objbranchrule.h:33 SCIP callable library. |