fdlib (npm): Shared library files for the fdq package
Keywords: constraint solving|GSAT|finite domain solver|FD|Solving