Optimizing Espresso Boolean Functions in Java

Question

I need to optimize a boolean function that contains more than 20 variables in the body, and this needs to be done quickly. I tried the Quine-McCluskey algorithm, it is not good enough when the number of variables is greater than 10. I read that the Espresso method can process more variables without significant overhead. Is there a java lib that implements this algorithm? I will be grateful for any feedback.