This package includes a set of invariants that compute min max, argmin and argmax over a wealth of differents structures.
This package includes a set of numeric invariants, mostly sums and other arithmetic invariants.
This package proposes a set of invariants related to set manipulation: union, intersect, diff, plus some operators such as sum and prod.
This package proposes a library of invariants classified in several packages