我在 MAX-SAT PBO 或 WBO 上遇到过（最先进的）软件：例如 WBO、open-WBO、SAT4J、scip。它们似乎都以只涉及命令行指令的方式工作。我想构建一个涉及解决一些 PBO 系统（相当于 MAX-SAT 或 WBO）的 C++ 程序，然后做很多其他事情。就像 cplex 或 Gurobi 一样。这个过程的最先进的求解器是什么？谢谢你。