GitHub - abate/ocaml-buddy: binding for the BDD buddy library

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
examples		examples
.headache.conf		.headache.conf
COPYING		COPYING
META		META
Makefile		Makefile
README		README
_tags		_tags
buddy.ml		buddy.ml
buddy.mldylib		buddy.mldylib
buddy.mli		buddy.mli
buddy.mllib		buddy.mllib
copyright		copyright
header.txt		header.txt
libbuddy_stubs.c		libbuddy_stubs.c
libbuddy_stubs.clib		libbuddy_stubs.clib
myocamlbuild.ml		myocamlbuild.ml
test.ml		test.ml

Repository files navigation

Ocaml bindings for the buddy BDD library 
http://buddy.wiki.sourceforge.net/

Mon Apr 12 2010 Pietro Abate <pietro.abate@pps.jussieu.fr>

binding for the BDD buddy library