rpms/vipr
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
[VIPR](https://github.com/scipopt/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.
6 commits 6 branches 0 tags 37 KiB
Find a file
Exact
Fedora Release Engineering 40e697a28e Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
2026-07-17 08:31:41 +00:00
.gitignore Initial RPM 2025-12-17 15:20:03 -07:00
README.md Added the README 2025-12-17 22:18:06 +00:00
sources Initial RPM 2025-12-17 15:20:03 -07:00
vipr-zlib-ng.patch Initial RPM 2025-12-17 15:20:03 -07:00
vipr.spec Use the cmake declarative buildsystem 2026-07-14 19:36:35 -06:00

README.md

vipr

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.