package mccs
MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project
Install
Dune Dependency
Authors
Maintainers
Sources
1.1+17.tar.gz
md5=844d99bc531e0713238fe4b6b8511ed1
sha512=2118a95bc4f20da469c13628a9dc3d193717789fb05242cfa38a3a195228a5376c6fa50e8369aa21be5e90e2bc5094a58e319d8fe75a63da925daa52024e8c40