ECLiPSe_6.1_164_i386_nt.exe
ECLiPSe CLP ECLiPSe约束逻辑编程系统 ECLiPSe约束逻辑编程系统旨在解决组合优化问题,开发新的约束求解器技术及其混合技术以及进行建模,求解和搜索技术的教学。 特征 约束逻辑编程 组合优化 数学编程 符号编程 区间算术 ECLiPSe建模和编程语言 包括用于ISO-Prolog的处理器 编译器/调试器/开发工具 图书馆藏书 主机环境接口
用户评论
推荐下载
-
compatlibcwait2.11.i386
compat-libcwait-2.1-1.i386.rpm
12 2020-01-09 -
aptspy_3.2.21_i386
debian的源搜索
15 2020-01-09 -
xgfe2.01.i386
gnuplot是一个很好的绘图,但所有的操作都是用命令的形式来实现的,有很好好处,但不易学会,xgfe为gnuplot提供了所见即所得图形界面模式,给使用带来了很大的方便。
12 2021-04-26 -
MentoHUST for Ubuntu i386
一个在Linux下与锐捷兼容性较好的认证客户端,方便使用Linux和锐捷的同学使用校园网。详细配置请在终端键入sudo mentohust -h查看。此处给出一个使用动态IP、DHCP方式为认证后的配
21 2020-07-23 -
IE I386修复
IE修复工具有很多,这次这款是需要原版安装光盘的,我为了大家使用方便,把需要到得I386里面的文件提取出来了,和软件一起打包了,需要的可以试试。
54 2018-12-28 -
postfix2.3.32.i386
postfix,postfix-2.3.3-2.i386
9 2021-04-20 -
mentohust_0.3.41_i386
用于linux下锐捷和赛尔网络的认证,居然要超过二十个字,那就超过二十个字的介绍吧
7 2021-04-19 -
bind9.1.34.i386
bind-9.1.3-4.i386
6 2021-04-18 -
CentOS_6.3_i386
CentOS-6.3-i386-bin-DVD1to2.torrent
35 2019-01-04 -
tftp01.324.i386
tftp-0[1].32-4.i386,这个东西用到的人也许会知道,linux关于tftp的
12 2021-04-17
暂无评论