cDMN Solver Docs