Tinkering with a constraint programming implementation by David Overton : https://overtond.blogspot.it/2008/07/pre.html - View it on GitHub