mop-adapters (cargo): Solver adapters for MOP
Keywords: mop