README.md

BIRDS

More information about BIRDS is available at https://dangtv.github.io/BIRDS/

Usage

Install, build & test

To install BIRDS, opam must be installed.

$ opam install --deps-only .

$ dune build

$ dune test