文件名称：dcop2xcsp:将 USC DCOP 格式的问题转换为 XCSP 格式的问题
文件大小：47KB
文件格式：ZIP
更新时间：2024-07-08 11:03:05
Java
USC-DCOP 到 XCSP 问题转换器 该项目在和之间转换问题。 这对于在相同问题上测试算法很有用，即使它们是在不同的求解器中实现的。 建造 您需要安装 。 然后，您可以通过简单地运行来构建项目： ant jar 这将创建一个包含问题转换器的dist/dcop2xcsp.jar文件。 用法 这是一个非常简单的转换器。 要运行它，只需执行带有要转换的问题路径的二进制jar文件。 您将在stdout得到转换后的问题。 例子： 给定一个 USC 格式的问题： $ cat /tmp/problem.fg VARIABLE x 2 2 VARIABLE y 2 2 VARIABLE z 2 2 VARIABLE t 2 2 VARIABLE u 2 2 VARIABLE v 2 2 CONSTRAINT x y F 0 0 20 F 0 1 10 F 1 0 10 F 1 1 0
【文件预览】：
dcop2xcsp-master
----build.xml(4KB)
----manifest.mf(82B)
----src()
--------es()
----nbproject()
--------build-impl.xml(76KB)
--------project.xml(670B)
--------genfiles.properties(467B)
--------project.properties(3KB)
----.gitignore(42B)
----lib()
--------nblibraries.properties(173B)
--------CopyLibs()
----README.md(4KB)