sparseOctagons: a new sparse implementation of Miné's Octagons#1776

Draft

DrMichaelPetter wants to merge 6 commits intomasterfrom

sparse_octagons

Commits on Jul 3, 2025

Commits on Jul 4, 2025

Commits on Jul 9, 2025

now compiles again
DrMichaelPetter
committed

Commits on Jul 10, 2025

added least upper bound and beginings of leq
DrMichaelPetter
committed