Scippy

SCIP

Solving Constraint Integer Programs

File Readers

Detailed Description

This page contains a list of all file readers which are currently available.

List of readable file formats

The interactive shell and the callable library are capable of reading/parsing several different file formats.

CIP format for SCIP's constraint integer programming format
CNF format DIMACS CNF (conjunctive normal form) file format used for example for SAT problems
FZN format FlatZinc is a low-level solver input language that is the target language for MiniZinc
GMS format for mixed-integer nonlinear programs (GAMS) [reading requires compilation with GAMS=true and a working GAMS system]
LP format for mixed-integer (quadratically constrained quadratic) programs (CPLEX)
MPS format for mixed-integer (quadratically constrained quadratic) programs
OPB format for pseudo-Boolean optimization instances
OSiL format for mixed-integer nonlinear programs
PIP format for mixed-integer polynomial programming problems
SOL format for solutions; XML-format (read-only) or raw SCIP format
WBO format for weighted pseudo-Boolean optimization instances
ZPL format for ZIMPL models, i.e., mixed-integer linear and nonlinear programming problems [read only]

How to add a file reader

A detailed description what a file reader does and how to add a file reader to SCIP can be found here.

Files

file  reader_bnd.h
 file reader for variable bounds
 
file  reader_ccg.h
 Column connectivity graph file reader (actually, only a writer)
 
file  reader_cip.h
 CIP file reader.
 
file  reader_cnf.h
 CNF file reader.
 
file  reader_fix.h
 file reader for variable fixings
 
file  reader_fzn.h
 FlatZinc file reader.
 
file  reader_gms.h
 GAMS file reader and writer.
 
file  reader_lp.h
 LP file reader.
 
file  reader_mps.h
 (extended) MPS file reader
 
file  reader_opb.h
 pseudo-Boolean file reader (opb format)
 
file  reader_osil.h
 OS instance language (OSiL) format file reader.
 
file  reader_pbm.h
 file writer for portable bitmap file format (PBM), open with common graphic viewer programs (e.g. xview)
 
file  reader_pip.h
 file reader for polynomial mixed-integer programs in PIP format
 
file  reader_ppm.h
 file writer for portable pixmap file format (PPM), open with common graphic viewer programs (e.g. xview)
 
file  reader_rlp.h
 RLP file reader (LP format with generic variables and row names)
 
file  reader_sol.h
 file reader for primal solutions
 
file  reader_wbo.h
 WBO file reader (LP format with generic variables and row names)
 
file  reader_zpl.h
 ZIMPL model file reader.