Bug#909091: RFP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
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.
Reply to: