package bes

  1. Overview
  2. Docs
boolean expression simplifier

Install

Dune Dependency

forge.ocamlcore.org Edit opam file Versions (2)

Authors

  1. A
    Alexander Ostrovsky
  2. M
    Markus Weissmann

Maintainers

  1. M
    markus.weissmann@in.tum.de

Sources

bes-0.9.4.2.tar.gz
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