Authors
-
François Bidet
<fbidet@lix.polytechnique.fr>
-
Ismail Bennani
<ismail.lahkim.bennani@ens.fr>
License and Acknowledgements
This software is distributed under the
CeCILL-C license
.
It is based on FADBAD++,
a software written by Ole Stauning and
Claus Bendtsen.
Download
The sources are available on our
github page
.
This software has been tested with OCaml 4.08.