SCIP
Solving Constraint Integer Programs
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
SCIP Authors
A list of all current and former developers as well as contributors can be found on the Main Web Page.