[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: