The model printer applet can calculate all nonisomorphic models of finite sentences.
For example, you can generate all nonisomorphic graphs or groupoids of small sizes.
The graph polymorphisms applet can help to find maps that are polymorphisms
of a set of graphs using a bounded width one algorithm.
The collapsing monoid applet can help to find which monoids are collapsing,
that is, for which there is a unique clone whose unary part is the given monoid.
