Upgrade path problem solver
Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver. Mccs take as input a CUDF problem and computes the best solution according to a set of criteria. It relies on a Integer Programming solver or a Pseudo Boolean solver to achieve its task. Mccs can use a wide set of underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/5xlviacdcd1nrxij61a86vx6w053dj6r-ocaml-mccs-1.1+11.drv | ||
| powerpc64le-linux | /gnu/store/jq7ydb17f4lhslvhj7781ix2jdq762yw-ocaml-mccs-1.1+11.drv | ||
| mips64el-linux | /gnu/store/vmbwmr9pi4nzwil1mdn6rix3y9wzhvkv-ocaml-mccs-1.1+11.drv | ||
| i686-linux | /gnu/store/hh25yf8r83d2vva89037dj3xv7dcisb9-ocaml-mccs-1.1+11.drv | ||
| i586-gnu | /gnu/store/57rpsaj4prspqwvnv64nbsmsvr18fsaz-ocaml-mccs-1.1+11.drv | ||
| armhf-linux | /gnu/store/03g7xgr8vbj6zqiykmnpxgx7yw8xlfi5-ocaml-mccs-1.1+11.drv | ||
| aarch64-linux | /gnu/store/n0g1pidc9zpcbkby2kjv3r6jsw4qg9gd-ocaml-mccs-1.1+11.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||