The exact backend now searches coarse-to-fine by default, which certifies far more of the
measured matrix in the same budget; a budget that ran out no longer costs seconds more for
its own warning; certificates of exact solves always name the engine that ran; and a packaged
credit demo makes every example in the documentation and the README run as written. The
documentation is restructured so that each page has one job, and its claims are sized to
what the benchmarks measure.
Full record: the changelog; the measured comparison against DiCE and NICE is on the benchmarks page.