reader_cnf.h File Reference

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/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludeReaderCnf (SCIP *scip)

Function Documentation

SCIP_RETCODE SCIPincludeReaderCnf

(

SCIP *

scip

)

includes the cnf file reader into SCIP

includes the cnf file reader in SCIP

Parameters

scip	SCIP data structure

Definition at line 415 of file reader_cnf.c.

References FALSE, NULL, READER_DESC, READER_EXTENSION, READER_NAME, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPincludeReaderBasic(), SCIPsetReaderCopy(), and SCIPsetReaderRead().

Referenced by SCIP_DECL_READERCOPY(), and SCIPincludeDefaultPlugins().