Browse thread
BDDs in ocaml
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Berke Durak <berke.durak@e...> |
| Subject: | Re: [Caml-list] BDDs in ocaml |
sasha mal a écrit : > Dear all, > > > > I wonder whether anyone has a BDD (binary decision diagram) implementation in ocaml. Ocaml interfaces to external BDD implementations in other languages (like Cudd) are of no use to me. > > Hello, There is one small BDD module written by Xavier Leroy for an experimental SAT-solver during the EDOS project: https://gforge.inria.fr/plugins/scmsvn/viewcvs.php/xlsat/?root=sodiac -- Berke DURAK