Researchers have developed CPMpy, an open-source library designed to translate high-level constraint satisfaction and optimization models into various lower-level formalisms. This framework allows users to express problems once and then test them across different solving technologies like CP, SMT, ILP, PB, and SAT without manual remodeling. The CPMpy system implements a modular transformation waterfall, addressing challenges such as handling negations and minimizing auxiliary variables, with a particular focus on linearizing non-linear operators for ILP, PB, and SAT solvers. Evaluations demonstrate that constraint models undergo significant changes during transformation, highlighting the importance of optimized linearization for certain solver types. AI
IMPACT Enables broader experimentation and comparison of different constraint-solving technologies for complex problems.
RANK_REASON The item is a research paper detailing a new software library for constraint solving. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
