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.
The critical relations applet can help to find critical relations of small arities in a finitely generated relational clone.
The code of these applets and more can be found in my GitHub repositories shared and uasat.
|
|