Florian Hahn b32b7068ef [ConstraintSystem] Use sparse representation for constraints. (NFC) ...

Update ConstraintSystem to use a sparse representation for entries in a
row. Most rows only contain a small number of variables, so the sparse
representation can result in significant speedups.

For a large test case from D135915, it halves the time spent in
ConstraintElimination.

To ensure this returns the same results as the old implementation in all
cases, I built a large set of projects with an extra assertion that it
produces the same result as the old implementation.

2023-02-16 14:44:49 +00:00

6.7 KiB

Raw Blame History

View Raw