Welcome to OCamlBDD

OCaml Binary Decision Diagram - the fast boolean functions and logical formulas implementation.

Licensing

ocamlbdd is distributed under the  GNU Lesser General Public License.

Download

Development version

Checkout  Subversion repository:

svn co svn://oops.tepkom.ru/svn/ocamlbdd/trunk ocamlbdd

Or click Browse Source for online source browser.

Prerequisites

You should have  Logger,  Typeutil,  OUnit and  ExtLib installed in your system to build OCamlBDD.

Make and install

Run configure script that discovers your environment, then make, make check (optional) and make install:

$ ./configure
$ make
$ make check
# make install

Usage

Documentation

See auto-generated html pages.