Scippy

SCIP

Solving Constraint Integer Programs

Cycle Clustering

Branch-and-cut implementation of a graph partitioning problem used for Markov state models.

The documentation of this application can be accessed here.