andrejbauer/alg

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

语言：OCaml · GitHub 星标：86 · Fork：7

在 GitHub 上查看原仓库