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

WWW: https://github.com/chuffed/chuffed