Finite domain constraint programming library in JS