invariants

lib

package lib

This package proposes a library of invariants classified in several packages

Visibility
  1. Public
  2. All

Value Members

  1. package logic

  2. package minmax

    This package includes a set of invariants that compute min max, argmin and argmax over a wealth of differents structures.

  3. package numeric

    This package includes a set of numeric invariants, mostly sums and other arithmetic invariants.

  4. package set

    This package proposes a set of invariants related to set manipulation: union, intersect, diff, plus some operators such as sum and prod.