Scippy

SCIP

Solving Constraint Integer Programs

reader_fzn.h File Reference

Detailed Description

FlatZinc file reader.

Author
Timo Berthold
Stefan Heinz

FlatZinc is a low-level solver input language that is the target language for MiniZinc. It is designed to be easy to translate into the form required by a solver. For more details see http://www.g12.cs.mu.oz.au/minizinc/ .

Definition in file reader_fzn.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeReaderFzn (SCIP *scip)
 
SCIP_RETCODE SCIPprintSolReaderFzn (SCIP *scip, SCIP_SOL *sol, FILE *file)
 

Function Documentation

SCIP_RETCODE SCIPincludeReaderFzn ( SCIP scip)

includes the FlatZinc file reader into SCIP

Parameters
scipSCIP data structure
SCIP_RETCODE SCIPprintSolReaderFzn ( SCIP scip,
SCIP_SOL sol,
FILE *  file 
)

print given solution in Flatzinc format w.r.t. the output annotation

Parameters
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
fileoutput file (or NULL for standard output)