1. 首页
  2. 移动开发
  3. 其他
  4. ECLiPSe_6.1_164_i386_nt.exe

ECLiPSe_6.1_164_i386_nt.exe

上传者: 2020-08-14 10:41:43上传 EXE文件 19.98MB 热度 15次
ECLiPSe CLP ECLiPSe约束逻辑编程系统 ECLiPSe约束逻辑编程系统旨在解决组合优化问题,开发新的约束求解器技术及其混合技术以及进行建模,求解和搜索技术的教学。 特征 约束逻辑编程 组合优化 数学编程 符号编程 区间算术 ECLiPSe建模和编程语言 包括用于ISO-Prolog的处理器 编译器/调试器/开发工具 图书馆藏书 主机环境接口
用户评论