实体 CPMpy

CPMpy

PulseAugur coverage of CPMpy — every cluster mentioning CPMpy across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_205940 · Aug 18 · 04:00

CPMpy 库将约束模型跨求解器翻译

研究人员开发了 CPMpy，这是一个开源库，旨在将高级约束满足和优化模型转换为各种低级形式。该框架允许用户一次性表达问题，然后在无需手动重新建模的情况下，跨 CP、SMT、ILP、PB 和 SAT 等不同的求解技术进行测试。CPMpy 系统实现了一个模块化的转换流程，解决了诸如处理否定和最小化辅助变量等挑战，并特别关注线性化非线性运算符以用于 ILP、PB 和 SAT 求解器。评估表明，约束模型在转换过程中会发生显著变化，这凸显了针对…