reader_fzn.h File Reference Detailed DescriptionFlatZinc file reader. 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.
Function Documentation
includes the FlatZinc file reader into SCIP
print given solution in Flatzinc format w.r.t. the output annotation
|