* OBDD Caml
@ 2005-10-19 13:35 Andrzej Janikowski
0 siblings, 0 replies; only message in thread
From: Andrzej Janikowski @ 2005-10-19 13:35 UTC (permalink / raw)
To: Caml-list
[-- Attachment #1: Type: text/plain, Size: 202 bytes --]
I Have Had an implementation of OBDD in OCaml.
It is only a simple module but i used most of the techniques decribed
in the Christoph Meinel book - Algorithms and Data Structures in VLSI
Design.
[-- Attachment #2: obdd.tar.gz --]
[-- Type: application/x-gzip, Size: 6073 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-10-19 13:35 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-10-19 13:35 OBDD Caml Andrzej Janikowski
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox