Scippy

    SCIP

    Solving Constraint Integer Programs

    struct_conflictstore.h File Reference