Commit 2025-05-14 12:37 88c66491
View on Github →chore: use TreeMap in linarith Fourier-Motzkin oracle (#24903) Mysteriously, this fixes two previously failing tests, where I expected this change was not going to have any observable effect!
chore: use TreeMap in linarith Fourier-Motzkin oracle (#24903) Mysteriously, this fixes two previously failing tests, where I expected this change was not going to have any observable effect!