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.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (1.1)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for michaelgreenberg from gravatar.com michaelgreenberg

Credits

Author: Michael Greenberg

License

New BSD

Report project as malware

Metadata

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (1.1)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for michaelgreenberg from gravatar.com michaelgreenberg

Credits

Author: Michael Greenberg

License

New BSD

Report project as malware

Release history Release notifications | RSS feed

1.1

2 release files

This release

1.0 This release

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page