Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories. - View it on GitHub