Toy with real (R), finite
domain (FD) and finite set (FS) constraints
New prototype version of the system Toy with cooperation of R and
FD domains and FD and FS domains for windows and linux.
Some examples presented in my thesis.
The installation instructions are available here.