Package: wnpp Severity: wishlist * Package name : ocaml-mccs Version : 1.1+8 Upstream Author : Claude Michel * URL : https://github.com/AltGr/ocaml-mccs * License : BSD (3-clause), GPL Programming Lang: C++, OCaml Description : Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
This is a a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with jbuilder. This is needed for opam to work without an external solver.