I've never used constraint solvers, seems like black magic. Need to fill that gap in my knowledge.

But how do they work, what is the complexity of the solution, for example for the stock prices, is it O(n^2)?