Card_Partitions.Injectivity_Solver