java - Java 中的 Espresso 布尔函数优化

Question

我需要优化具有 20 多个变量且必须快速完成的布尔函数。我尝试了 Quine-McCluskey 算法，当变量数量大于 10 时它不够好。我读到 Espresso 方法可以处理更多变量而没有显着开销。是否有实现此算法的 java 库？我会很感激任何反馈。