SMT-LIB / SMT-LIB-2

Public reference documents for the SMT-LIB standard
16Updated 3 weeks ago

Alternatives and similar repositories for SMT-LIB-2:

Users that are interested in SMT-LIB-2 are comparing it to the libraries listed below