Move iteration out of the UniformSolver (PR 2/2)#83

Merged

ReubenJ merged 7 commits intodevfrom uniform-solver

Apr 30, 2024

+389-84

Commits on Apr 23, 2024

Commits on Apr 24, 2024

Commits on Apr 25, 2024

Refactor count_expressions to Base.length
Whebon
committed

Commits on Apr 27, 2024

Add a test for the fixed local ordered propagator (requires the local-ordered-stronger-inference branch of HerbConstraints)
Whebon
committed