文件名称:binaries-2.0.5-win32
介绍说明--下载内容均来自于网络,请自行研究使用
上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言,对于求解NP问题有良好的时间上限优势。例如图的着色问题,哈密顿回路问题,sudoku问题,生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples. Answer set programming is a very important developing language for logic scientists.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
binaries-2.0.5-win32\5.10.txt
....................\5.1a.txt
....................\5.1b.txt
....................\5.1bresult.txt
....................\5.2.txt
....................\5.2b.txt
....................\5.2bresult.txt
....................\5.2result.txt
....................\5.3.txt
....................\5.3a-result.txt
....................\5.3b-result.txt
....................\5.4.txt
....................\5.4a_result.txt
....................\5.4c_result.txt
....................\5.7-before.txt
....................\5.7.txt
....................\5.7input.txt
....................\5.7input1.txt
....................\5.7input2.txt
....................\5.7result.txt
....................\6.txt
....................\7.5.txt
....................\CHANGES
....................\clasp-1.3.2.exe
....................\clingo.exe
....................\COPYING
....................\COPYING (2)
....................\feature.txt
....................\featuredata.txt
....................\featureresult.txt
....................\gringo.exe
....................\guide.pdf
....................\iclingo.exe
....................\README
....................\result.txt
binaries-2.0.5-win32
....................\5.1a.txt
....................\5.1b.txt
....................\5.1bresult.txt
....................\5.2.txt
....................\5.2b.txt
....................\5.2bresult.txt
....................\5.2result.txt
....................\5.3.txt
....................\5.3a-result.txt
....................\5.3b-result.txt
....................\5.4.txt
....................\5.4a_result.txt
....................\5.4c_result.txt
....................\5.7-before.txt
....................\5.7.txt
....................\5.7input.txt
....................\5.7input1.txt
....................\5.7input2.txt
....................\5.7result.txt
....................\6.txt
....................\7.5.txt
....................\CHANGES
....................\clasp-1.3.2.exe
....................\clingo.exe
....................\COPYING
....................\COPYING (2)
....................\feature.txt
....................\featuredata.txt
....................\featureresult.txt
....................\gringo.exe
....................\guide.pdf
....................\iclingo.exe
....................\README
....................\result.txt
binaries-2.0.5-win32