Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    reader_fzn.h File Reference
    Public API of SCIP » Plugin API of SCIP » File Readers

    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)