mop-solvers (cargo): Solvers for MOP
Keywords: mop