Stripped-down version of mccs with OCaml bindings
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project.
Wyświetl pakiety eksperymentalne Wyświetl pakiety społeczności