Java library for boolean minimization

Question

I'm looking for a good library in Java that supports minimization of boolean expressions (for example with the Quine McCluskey algorithm).

EDIT (12.2018): the LogicNG project has implemented a QuineMcClusky algorithm now.

Answer 1

Quine_Mccluskey.java

Code for Quine McCluskey method of minimization of boolean expression.

LANGUAGE USED : JAVA

HOW TO COMPILE AND RUN :

Open the source file using any java IDE (BlueJ , eclipse ,etc) . Compile the code and run . There is primarily one input the number of variables . The number of minterms and the minterms are randomly generated . ( Code tested in BlueJ IDE and eclipse on Windows 8 )

Source Code for Quine McCluskey method of minimization of boolean expression.