mccs

Edit Package mccs
No description set
Refresh
Refresh
Source Files
Filename Size Changed
mccs-1.1-srcs.tgz 0000065553 64 KB
mccs.changes 0000000142 142 Bytes
mccs.spec 0000001891 1.85 KB
Revision 1 (latest revision is 2)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 686473 from Andy Li's avatar Andy Li (onthewings) (revision 1)
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. 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.

It will be used as an external solver of the opam package.
Comments 0
openSUSE Build Service is sponsored by