Revised some of the constraint solver tests to produce running programs.