andrejbauer / alg

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

andrejbauer/alg Stargazers