当前位置:兵器玩家编程软件 → 一键转帖:圣甲虫1.0.0_Scarab 1.0.0

软件名称:[B]圣甲虫1.0.0_Scarab 1.0.0[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:717 KB
官方主页:Home Page
更新时间:2013-03-09 12:27:00
软件简介:

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

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

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

要求:

·的Java
·斯卡拉


[url=http://www.sot9.com/soft/110440.html][B]圣甲虫1.0.0_Scarab 1.0.0[/B][/url]

点这里下载->圣甲虫1.0.0_Scarab 1.0.0 [ 下载地址 ]