ocaml-mccs 1.1+9 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.
- Website: https://www.i3s.unice.fr/~cpjm/misc/
- License: Modified BSD, GPL 3+, LGPL 2.1+
- Package source: ocaml.scm
- Patches: None
- Builds: x86_64-linux, i686-linux