项目描述 ：
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

高级语言： C++

项目主页：

项目地址: git://github.com/marcelwa/CEGIS.git

创建时间： 2016-09-21T13:14:14Z
项目社区：https://github.com/marcelwa/CEGIS
开源协议：Other
下载