SMT-LIB

Format for interaction with SMT solvers. https://smtlib.cs.uiowa.edu/
Specification format

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.