anthonykozar / alg Goto Github PK
View Code? Open in Web Editor NEWThis project forked from andrejbauer/alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
License: BSD 2-Clause "Simplified" License