z3中的不完全MaxSAT
我有一个问题，我正在考虑使用不完整的MaxSAT算法。z3中是否实现了不完整的MaxSMT解算器？我怀疑z3中是否有@帕特里克·特伦丁可能知道。如果没有，请访问z3讨论页面：github.com/Z3Prover/z3/discussionsz3中的不完全MaxSAT,z3,smt,z3py,sat,Z3,Smt,Z3py,Sat,我有一个问题，我正在考虑使用不完整的MaxSAT算法。z3中是否实现了不完整的MaxSMT解算器？我怀疑z3中是否有@帕特里克·特伦丁可能知道。如果没有，请访问z3讨论页面：github.com/Z3Prover/z3/discussions