SMT-LIB公司
满意模理论库

SMT-LIB是一项国际倡议，旨在促进可满足性模理论（SMT）。自2003年启动以来，该倡议一直致力于实现这些目标，重点关注以下具体目标。

• 提供SMT系统中使用的背景理论的标准严格描述。
• 开发和推广通用输入输出语言SMT求解器.
• 连接SMT的开发人员、研究人员和用户，并围绕SMT开发社区。
• 为SMT求解器建立并向研究社区提供一个大型基准库。
• 收集并推广对SMT社区有用的软件工具。

• 描述SMT求解器的SMT-LIB输入/输出语言及其语义的文件；
• 背景理论和规范逻辑；
• 用SMT-LIB语言编写的输入问题或基准的大型库。
• SMT解算器和相关工具和实用程序的链接。