rpms/vipr
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
vipr/README.md
releng bot dfdb152fe1 Added the README
2025-12-17 22:18:06 +00:00

275 B
Raw Permalink Blame History

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.