Finite domain solver Packages