boolopt 1.1

Boolean expression minimizer

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.

• Author: Michael Greenberg
• Home Page: http://www.weaselhat.com/boolopt/
• Download URL: http://www.weaselhat.com/downloads/boolopt-1.1.tgz
• License: New BSD
• Platform: Python 2.2 and above
• Package Index Owner: michaelgreenberg
• DOAP record: boolopt-1.1.xml