Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow The Boolfreak Minimizer

The Boolfreak Minimizer Web Site

Other Useful Business Software
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of The Boolfreak Minimizer!

Additional Project Details

Languages

English

Intended Audience

Advanced End Users, Developers, Information Technology, Science/Research

User Interface

Command-line

Programming Language

Java, Python

Related Categories

Python Electronic Design Automation (EDA) Software, Java Electronic Design Automation (EDA) Software

Registered

2006-09-19