A NERA team developed the mathematical formulation for Australian market operator AEMO’s updated AMDQ auction design. We developed tests to verify the accuracy of AEMO’s solvers for allocating tie-break injection and withdrawal rights in the Declared Wholesale Gas Market in Victoria, Australia.