Asset Type Docker container SUNNY-CP sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems read more of SUNNY-CP