The Chuffed CP solver backend for the MiniZinc constraint modelling language.