×
☰
Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.1.1
SCIP 8.1.0
SCIP 7.0.3
SCIP 6.0.2
SCIP 5.0.1
SCIP 4.0.1
SCIP 3.2.1
SCIP
Solving Constraint Integer Programs
How to use ...
Conflict analysis
How to run automated tests with SCIP
How to use SCIP to count feasible solutions
How to use reoptimization in SCIP
How to use the concurrent solving mode in SCIP
How to use the Benders' decomposition framework