Hits: 0
Research Area: Simple and Fast Implementation of Exact Optimization Algorithms with SCIL
Status: In progress  
Project page

The SCIL (Symbolic Constraints in Integer Linear-Programming) software package facilitates and accelerates the implementation of exact solution algorithms for hard optimization problems. It has been applied successfully in many different areas. SCIL is based on an efficient branch-and-cut algorithm. However, in contrast to other software, it allows to specify symbolic constraints instead of linear constraints. Symbolic constraints play an important role in Constraint Programming and make SCIL a user-friendly tool, allowing even non-experts to easily access powerful state-of-the-art optimization techniques.

[ Back ]