It would have been worthwhile if this article had briefly touched upon how the constraint solvers are implemented, rather than avoiding this altogether