我有布尔变量分别与相关的实值成本和一个布尔函数合取范式（CNF）。我正在寻找一个专用的（最好是免费的）软件包来找到满足的分配，这样总成本，即那些的总和相应被分配一个真值，被最小化。$n$$x_1,\ldots,x_n$$c_1,\ldots,c_n$$(x_1,\ldots,x_n)\mapsto\Phi(x_1,\ldots,x_n)$$x_1,\ldots,x_n$$\Phi$$c_1,\ldots,c_n$$x_1,\ldots,x_n$

我目前的解决方案是将问题实例转换为二进制程序，并通过实现单纯形算法 + 分支和切割来解决这个问题（我使用的是 GLPK 包）。我想知道是否有更适合我的问题的软件解决方案。