Alg is a program for enumeration of finite models of single-sorted first-order theories. These include groups, rings, fields, lattices, posets, graphs, and many more. The authors of alg are Aleš Bizjak and Andrej Bauer.
Visit the archive of posts related to alg to find out more about it.
Download:
Thank you very much for the tool! I’ve successfully used to for proving minimality of several sets of axioms. Extremely useful!
Andrey