Asset Type
Docker container
SUNNY-CP
sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems
sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems
zephyrus2 is a tool that allows computing the optimal configuration of applications in a cloud
A solver the HEX language which combines Logic Programming with Python-based plugins.