Go to the documentation of this file.
24 #include <scip/scip.h>
25 #include <scip/scipdefplugins.h>
32 * this class implements a solver for the n-queens problem as an mip model, which will be solved using SCIP
40 * SCIP organizes all the problem informations by itself, we can access them by the SCIP * pointer
42 SCIP * _scip;
71 QueensSolver(size_t n = 8);
79 void solve(void); ///< solves the queens problem using SCIPsolve
86 void disp(std::ostream & out = std::cout);
constructs the BP model for the n-queens problem
solves the queens problem using SCIPsolve
void disp(std::ostream &out=std::cout)
display the solution
destructor this is the place to release the SCIP_VAR and SCIP_CONS pointers and to free the SCIP poin...
default SCIP plugins
SCIP callable library.