/alg

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

Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.