SMT-LIB / SMT-LIB-2

Public reference documents for the SMT-LIB standard
12Updated this week

Related projects

Alternatives and complementary repositories for SMT-LIB-2