List of invariants

We currently support the following invariants. Click on an invariant for more information.