Added some basic tests for the constraint solver module.