GitHub repository: scipopt/vipr
Primary language: C++
Description: VIPR: Verifying Integer Programming Results