Java中的Espresso布尔函数优化

Iho*_* M. 5 java algorithm optimization boolean-logic boolean-expression

我需要优化在体内有20个以上变量的布尔函数,并且必须快速完成.我尝试了Quine-McCluskey算法,当变量数大于10时,它还不够好.我读到Espresso方法可以处理更多数量的变量而没有明显的开销.是否有一个实现此算法的java lib?我会感激任何反馈.