Use the '_cslib' module (internal support for the constraint solver).
