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