Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
OCaml Makefile Python
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.