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

nel_h2
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start 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