文件名称：ClaferChocoIG:项目已终止。 代码合并到chocosolver项目中
文件大小：20KB
文件格式：ZIP
更新时间：2024-05-22 01:24:49
Java
从0.4.2版本开始，ClaferChocoIG项目已终止 该项目中的代码已合并到项目中。 ClaferChocoIG（已弃用） v0.4.2 ， 和，以及独立的命令行工具。 它使用使用选项--mode=choco从Clafer编译器生成的Clafer模型的基于Java语言的表示形式生成任意或最佳实例。 该项目是一个Maven Java项目，它使用作为主要依赖项并调用其API。 可以将项目编译为已编译的独立二进制文件，该二进制文件既可以在命令行中使用，也可以配置为用作其他工具的后端。 贡献者 （MMath）。 原始开发人员。 （Mimath，Ph.D） 候选人。 移植到Java 1.7和ChocoSolver的主要开发者 。 。 研究工程师。 可用性扩展，技术转让。 获取二进制文件 可以从下载适用于Windows，Mac和Linux的Clafer Tools 0.3.10发行
【文件预览】：
ClaferChocoIG-master
----.gitignore(7B)
----Makefile(706B)
----src()
--------main()
----.classpath(1KB)
----LICENSE(1023B)
----.settings()
--------org.eclipse.m2e.core.prefs(86B)
--------org.eclipse.jdt.core.prefs(6KB)
----pom.xml(2KB)
----README.md(12KB)
----.project(542B)
----test()
--------stringTest.cfr(49B)
--------personTest.cfr(1KB)