甲虫组件包,旨在帮助您建立高效率的SAT的编程系统。 使用斯卡拉的神器出山:www.shenqi73.com编程语言,甲虫,包括DSL组件,一个SAT的编码模块,并提供您的后端接口SAT求解器。
上一个软件:YB.ORM 0.3.4阿尔法_YB.ORM 0.3.4 Alpha
下一个软件:ROBOCOPY集成包_RoboCopy Integration Pack