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: