A repository containing off-the-shelf programs for solving the logic minimization problem
GNU General Public License v3.0GPL-3.0