finitedomain (npm): A fast feature rich finite domain solver
Keywords: constraint solving|GSAT|finite domain solver|FD