SMT-LIB

SMT求解器的标准输入语言和基准库，包含大量来自工业界和学术界的实例，覆盖数组、算术、位向量等理论，用于评估求解器性能。