Scippy

    SCIP

    Solving Constraint Integer Programs

    scipexamples Namespace Reference

    Data Structures

    class  QueensSolver
     solver class for the n-queens problem More...