SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
reader_cnf.h File Reference Detailed DescriptionCNF 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. #include "scip/scip.h"Go to the source code of this file.
Function Documentation
includes the cnf file reader into SCIP
|
|||||||||||||||
