MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
Description

MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project

Install

Documentation www.i3s.unice.fr Edit opam file

Published

18 May 2022

Authors

Maintainers

Sources

1.1+14.tar.gz
md5=9bfa9ff1eb3948403d44521e4e71933a sha512=f7a50473efb7823f61dda2753be4887cebc6aa43c1cc9de2596a15b418fbc577ea60d96f66488a1008032f75bbc3b3b090017d5846d5558463bd8ca062270895

Dependencies

cudf >= "0.7"
dune >= "1.0"
ocaml

Reverse Dependencies

opam-solver >= "2.0.0~beta5"

Conflicts

None