finitedomain
A fast feature rich finite domain solver
A fast feature rich finite domain solver
Finite Domain reduction system and solver by qFox
Finite Domain Problem reduction system
A brute force Finite Domain Solver
Shared library files for the fdq package