>From: Brian Rogoff <bpr@bpr.best.vwh.net>

>Will we see your toy implementation in the OCaml distribution? I think
>such a thing, and/or a binding to one of the better C BDD libraries,
>would make a useful addition.

I will make it available somewhere (most likely on my web page or in
the bazaar), but it's not really suitable for inclusion in the OCaml
distribution (that's why I called it a "toy" implementation).

-- Damien
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners