SCIP
Solving Constraint Integer Programs
How to use ...
- How to run automated tests with SCIP
- How to use the numerically exact solving mode
- How to use conflict analysis
- 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 deduce reasons for infeasibility in SCIP
- How to provide a problem decomposition
- How to use the Benders' decomposition framework
- How to train custom tree size estimation for SCIP
- How to use symmetry handling in SCIP
- How to use probing and diving mode