# SCIP

Solving Constraint Integer Programs

## Detailed Description

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 .

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"