Scippy

    SCIP

    Solving Constraint Integer Programs

    doc Directory Reference

    Files

    file  xternal_pbsolver.c [code]
     Pseudo-Boolean solver application.