Rify + lra solves Mixed Integer Programs - #110

Draft

fajb wants to merge 6 commits into

rocq-prover:masterfrom

Commits on Mar 29, 2025

Adapt to PR tify
fajb
committed
49cd823
[Cos_rel] drop dependency on Lra
fajb
committed
d0ab6c3
[zify] add Pcompare
fajb
committed
0503740
[zify] Notation from Zify -> Tify
fajb
committed
dc34c3a
fix test-suite
fajb
committed
f796e05
[fix] for backward compat
fajb
committed
f0b5f5b