That sounds interesting, but how do you know it's not just iteratively guessing random numbers until it finds a solution that matches the constraints?

Don't get me wrong; A programmable Monte Carlo solver is still useful, just not as cool.

-- Pat Scaramuzza