Implementing the transformation of the Matrix in a new class and testing it

6 jobs for exact_constraint_satisfaction in 10 minutes and 11 seconds (queued for 1 second)