Improved examples, fixed bug in constraint solver.