ModelEquivBench: Certifying Multi-Relational Evaluation of LLM-Generated Optimization Models | Digital Library | PAMCET | PAMCET