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
mccs-1.1+19.tar.gz
md5=f852da188bf7de20e64be2fce0e48e0a
sha512=9b6ab739f85c163668573887cc9647cd8ef7fd0ad155a72819dbd4b6a243af4ba8b7e5678492f856d864471652ddcfaeed05da47b972a65ac1cd9e072ba88dc5