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.
顯示實驗性套件 顯示社群維護套件