Here are some demo's for the Finite Domain Constraint solver by Peter van der Zee, September 2017. Code on GitHub.
There is a playground to try your own things, or pick one from the list below.
The next ones are from back in 2016 using the older finitedomain.js library to solve the puzzle