mop-solver (cargo): Common solver interface for MOP
Keywords: mop