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.
显示实验性软件包 显示社区软件包