The following is a interactive form where you can obtain the details of a Constraint Solver with input as following criteria:

a) Operating System (Windows, Linux, Unix etc)

b) Domain (Hybrid, Continuous etc)