Alternatives to SMT-LIB

Options that appear in the same research papers as SMT-LIB, by co-occurrence.

AlternativePapers (with SMT-LIB)Avg viability
PyTorch1—
GPT-41—
AquaForte1—
Z31—
CVC51—