DLX: added printing functionalities for the constraint matrix.