Code

Add REDUCTION_CERTIFICATE#734

Code

Merged

blegat merged 3 commits intomasterjump-dev/MathOptInterface.jl:masterfrom bl/reductionjump-dev/MathOptInterface.jl:bl/reductionCopy head branch name to clipboardMay 17, 2019

+13-4

Commits

Commits on May 14, 2019

• Add REDUCTION_CERTIFICATE

  blegat

  committed
  828cd35

Commits on May 16, 2019

• Address comments

  blegat

  committed
  4680342

Commits on May 17, 2019

• DOI -> arXiv

  blegat

  committed
  ae46385