BSD-3-Clause licensed by Gershom Bazerman, Jeff Polakow
Maintained by [email protected]

Module documentation for 0.1.8

This version can be pinned in stack with:[email protected]:d05220c8f3aaeb0c5f6f92cd6c3d869b7f5253b66cdb6d5d392b9198ec061577,1400

Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.

Depends on 2 packages(full list with versions):