In reply to sharatk:
Not really. Although we conceptually think of the constraint solver of building a complete solution space and then randomly picking one of the solutions, that’s not how it’s usually implemented. For performance, tools perform optimizations that might prevent certain solutions from every being found.
There are tools beginning to provide some information on charataristics of the solution space. I would check with your tool vendor as this is a relatively new field.