OCaml Forge

bes

OCaml library and command line frontend to simplify/minimize boolean expressions