机构名称：
¥ 11.0
是由整个SMT委托的输入和由SMT工具的开发人员和用户组成的三个国际工作组的输入开发的：由C. Tinelli和SMT-Logic工作组主持的SMT-API工作组，由C. Tinelli和SMT模型工作组领导，由C. Barrett领导。版本2.0文档由C. Barrett，A。Stump和C. Tinelli撰写。Particular thanks are due to the following work group members, who contributed numer- ous suggestions and helpful constructive criticism in person or in email discussions: Nikolaj Bjørner, Sascha Boehme, David Cok, David Deharbe, Bruno Dutertre, Pascal Fontaine, Vi- jay Ganesh, Alberto Griggio, Jim Grundy, Paul Jackson, Albert Oliveras, Sava Krsti´c，Michal Moskal，Leonardo de Moura，PhilippRümmer，Roberto Sebastiani和Johannes Waldmann。也要感谢David Cok，Morgan Deters，AndersFranzén，Amit Goel，Jochen Hoenicke和Tjark Weber提供有关标准的其他反馈，以及Jochen Hoenicke，PhilippRümmer，PhilippRümmer，以及David Cok的仔细校对版本2.0版本的版本2.0版。
SMT-LIB标准版本2.7
主要关键词
相关文件推荐
