Efficiently explaining constraint models with CPMpy

Session date: 13 May 2024

Session host: Ignace Bleukx

Summary:

In this session, we have discussed for deriving explanations for decisions made by constraint programming solvers, including explanations based on MUSes and stepwise explanations.