solver - 如何使用 Python 解决以字符串格式给出的布尔表达式？

Question

我试图解决以字符串格式表示的布尔表达式 ( ( i_0 & i_1 ) ^ i_2 ) ^ i_3

使用 PyEDA 包，我可以将文本转换为表达式，如下所示：

from pyeda.inter import *
be_text = "( ( i_0 & i_1 ) ^ i_2 ) ^ i_3"
be = expr(be_text) 

变量的数量（i_0、i_1、i_2、...）可以达到 1000 秒。要执行的操作是基本的布尔操作，即。与、或、非、异或

现在我怎样才能为这个表达式提供输入并解决它？输入可以是常量或 NumPy 数组。

我做得对还是 PyEDA 只能用于将文本转换为表达式？

如果有任何其他方法可以解决此问题，请提供帮助。

谢谢！