Logic library (camellogic)

A little OCaml library written mainly as an exercise.

The project uses dune to manage the build:

dune build to build everything.
dune runtest to run the tests (written using ounit2).