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 https://www.minizinc.org/ .

Definition in file reader_fzn.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_sol.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)