是否有TSPLIB和/或SAT格式的Prolog解析器?

时间:2011-03-30 08:45:52

标签: prolog

Prolog中是否为TSPLIBsuggested satisfiability format编写了解析器?

(第二个链接是PostScript文件)

1 个答案:

答案 0 :(得分:2)

您可以考虑使用现有的C / C ++工具来使用TSPLIB,然后使用SWI-Prolog C库(http://www.swi-prolog.org/pldoc/package/clib.html)从Prolog中调用这些工具