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

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

Solver 如何使用Python解决以字符串格式给出的布尔表达式？,solver,boolean-expression,pyeda,Solver,Boolean Expression,Pyeda,我试图解决以字符串格式表示的布尔表达式（（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。要执行的操作是基本布尔操作，即。和，或者，不是，XOR 现在我如何为这个表达式提供输入并求解它？

我试图解决以字符串格式表示的布尔表达式

（（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。要执行的操作是基本布尔操作，即。和，或者，不是，XOR

现在我如何为这个表达式提供输入并求解它？输入可以是常量或NumPy数组

我做得对吗？或者PyEDA可以用来将文本转换成表达式

如果有其他办法解决这个问题，请帮忙

谢谢