项目描述 ：
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

高级语言： OCaml

项目主页： https://docs.imandra.ai/abstract-transition-systems/ats_web.html

项目地址: git://github.com/AestheticIntegration/abstract-transition-systems.git

创建时间： 2019-09-09T15:42:42Z
项目社区：https://github.com/AestheticIntegration/abstract-transition-systems
开源协议：
下载