Description
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.
RPMs
No RPMs
Changelog
* Tue Sep 22 2026 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-6 - Rebuild for soplex 8.1.0 * Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.1^20251029.30f2951-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Wed Jul 15 2026 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-4 - Use the cmake declarative buildsystem * Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-3 - Fix RISC-V link failure * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.1^20251029.30f2951-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Dec 17 2025 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-1 - Initial RPM