Use z3 to get feasible points

[coti]

Most of the work is done in z3_search.py, which is imported in search.py. The class (Z3search) is instanciated in order to use the solver from search.py.

The two search classes (simplex and randomsimple) show how to use it. In particular, when a point has been visited, it can be removed from the available parameter space (see in randomsimple.py). Another interesting feature is that we can still request particular points (centroid, reflection...) but then, we obtain the nearest feasible point.

Sorry about the conflict. You will see that it is trivial to solve.

[brnorris03]

Looking good. One thing throughout -- no print() statements should be left anywhere. Use the global info, err, debug, warn instead. In debug, it's always nice to give the object as an argument (e.g., debug("msg",obj=self)). For info/warn/err, follow the style of other such messages.

[coti]

ok, I will fix this

[coti]

There should not be any print left...