Nieuws

NuCS versus Choco: Een pure-Python constraint solver versus een JVM-veteraan

Een diepgaande prestatievergelijking tussen NuCS, een constraint solver geschreven in Python, en Choco, een gevestigde Java-solver. Bij dezelfde modellen presteren beide solvers vergelijkbaar, maar op grote instanties wint NuCS. Bij verschillende modellen levert het een eerlijke afweging op: Choco's boogconsistentie is soms sneller, NuCS' goedkopere bound consistency met redundante constraints wint op andere problemen. Het artikel bespreekt vijf benchmarkproblemen en de ontwerpkeuzes die de resultaten verklaren.