fdq (npm): Finite Domain reduction system and solver by qFox
Keywords: constraint solving|GSAT|finite domain solver|FD|Reduction system|Minifier|Logic|Deduction