package bes

  1. Overview
  2. Docs
boolean expression simplifier

Install

Dune Dependency

Authors

Maintainers

Sources

bes-0.9.4.2.tar.gz
sha256=07df2143b83d6ce2d4ac4a6ef5e46418c4f7d1b3b706744ae7d3eedb16df60e3
md5=5ab46d03b38ea244e2f41705bc27ebe0

Description

This is a pure OCaml library containing several algorithms to simplify boolean expressions (boolean expression simplifier)

Published: 21 Nov 2013

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.