fdp (npm): Finite Domain Problem reduction system
Keywords: constraint solving|GSAT|finite domain solver|FD|Constraint Reduction system|Minifier|Logic|Deduction