Got the constraint solver shell working (doesn't solve anything yet).