Alternatives to CVC5

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

AlternativePapers (with CVC5)Avg viability
PyTorch1—
GPT-41—
AquaForte1—
Z31—
SMT-LIB1—