fdo (npm): A brute force Finite Domain Solver
Keywords: constraint solving|GSAT|finite domain solver|FD|Solving