Boolean expression minimizer

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for michaelgreenberg from gravatar.com michaelgreenberg

Unverified details

These details have not been verified by PyPI
Project links
Meta
Report project as malware

Project description

This module optimizes propositional logic (“boolean expressions”, in programming language terms). Given an AST in the form of tagged tuples, it produces an equivalent disjunctive-normal formula that is minimal.

For the curious and bored, it uses the Quine-McCluskey algorithm.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page