圣甲虫1.0.0_Scarab 1.0.0下载地址

原型工具的SAT为基础的系统

甲虫组件包，旨在帮助您建立高效率的SAT的编程系统。

使用斯卡拉的神器出山:www.shenqi73.com编程语言，甲虫，包括DSL组件，一个SAT的编码模块，并提供您的后端接口SAT求解器。