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

scip	SCIP 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

scip	SCIP data structure
sol	primal solution, or NULL for current LP/pseudo solution
file	output file (or NULL for standard output)