CPMpy: Tradurre Modelli di Vincoli ad Alto Livello in Molteplici Paradigmi di Solver

Un nuovo articolo su arXiv (2608.15143) introduce CPMpy, un framework per tradurre problemi di soddisfacimento di vincoli e ottimizzazione ad alto livello in molteplici formalismi di basso livello, tra cui CP, SMT QF-LIA, ILP, PB e (Max)SAT. Il lavoro affronta la sfida di confrontare diverse tecnologie di risoluzione dei vincoli per un dato problema senza richiedere una rimodellazione manuale per ogni paradigma. Gli autori definiscono un linguaggio ad alto livello di operazioni logiche e aritmetiche, insieme a funzioni e vincoli aggiuntivi, per facilitare la traduzione automatica. Questo approccio consente agli utenti di specificare i problemi in modo dichiarativo e quindi generare automaticamente modelli per vari solver, potenzialmente migliorando le prestazioni selezionando la tecnologia più adatta. L'articolo è disponibile su arXiv e rappresenta un contributo al campo della programmazione con vincoli e del ragionamento automatico.