Module chalk_solve::coherence::solve