VIPR is a software project to verify, in exact rational arithmetic, the correctness of results computed by mixed-integer linear programming solvers. It is based on an elementary file format for LP-based branch-and-cut certificates.
vipr-1.1^20251029.30f2951-1.fc44.src.rpm
For the purpose of submitting this package to Fedora, here is the RPM spec file.