Up

Bddapron

About

This library is actually composed of two sub-libraries:

A short presentation in french

You will need CamlIDL and FINDLIB.

Both sublibraries require the Camllib utility library and the MLCuddIDL BDD library/binding. The Bddapron sublibrary requires in addition the APRON library and its dependencies (GMP, MPFR, MLGMPIDL).

License

Bddapron is released under the LGPL license.

Download

Current version: 2.2.0

Documentation