研究人员开发了 CPMpy，这是一个开源库，旨在将高级约束满足和优化模型转换为各种低级形式。该框架允许用户一次性表达问题，然后在无需手动重新建模的情况下，跨 CP、SMT、ILP、PB 和 SAT 等不同的求解技术进行测试。CPMpy 系统实现了一个模块化的转换流程，解决了诸如处理否定和最小化辅助变量等挑战，并特别关注线性化非线性运算符以用于 ILP、PB 和 SAT 求解器。评估表明，约束模型在转换过程中会发生显著变化，这凸显了针对特定求解器类型优化线性化的重要性。 AI
影响 能够对复杂问题中的不同约束求解技术进行更广泛的实验和比较。
排序理由 该条目是一篇研究论文，详细介绍了一个新的约束求解软件库。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
