chriseth 362d3f9fdb Remove redundant constraints. (#3074) ...

Removes algebraic constraints that are implied by other algebraic
constraints.

In order to do that, grouped expressions are turned into products of
factors such that these factors are as much normalized as possible. Then
we try to find algebraic constraints that are divisors of other
algebraic constraints (i.e. the factors are subsets).

2025-07-26 10:54:15 +00:00

..

src

Remove redundant constraints. (#3074)

2025-07-26 10:54:15 +00:00

tests

Substitute bus vars at start and end. (#3078)

2025-07-25 11:08:22 +00:00

Cargo.toml

Fix udeps. (#2671)

2025-04-28 11:19:41 +00:00