An open source library for circuit minimization in Boolean algebra.
Open source C++ software for circuit minimization in Boolean algebra.