FADBADml

This library is an OCaml porting of FADBAD++, a software written by Ole Stauning and Claus Bendtsen.

our website

Authors

• François Bidet (fbidet@lix.polytechnique.fr)
• Ismail Bennani (ismail.lahkim.bennani@ens.fr)

Installation

After cloning, you can install with:

  cd path/to/repo
  opam install .

or

  cd path/to/repo
  dune build
  dune install

Tests

Run tests:

  dune runtest

Usage

see examples folder and/or see our guide