source: CenturioV2.1 @ 1183

Name Size Rev Age Author Last Change
../
ASPEncodings 1010   20 months Manju Clingo Update with asp generator update
doc 615   3 years Manju
kif 773   3 years Martin gdl to kif rename
lib 776   3 years Martin new eclispe 6 98
pl 769   3 years Martin panic mode bugfix and optimization
plot 636   3 years Martin new svn ignore rules for benchmark KIFs and PLs and Chinesecheckers6.kif …
src 1015   20 months Martin
.classpath 248 bytes 806   3 years Martin GDLJavac hier gelöscht
.project 388 bytes 623   3 years Manju renamed
benchmark.bat 735 bytes 626   3 years Martin new eclipse prolog version 6.0.84, we don't use the eclipse.jar anymore …
benchmark.sh 889 bytes 771   3 years Martin script updates
benchmark.xml 1.1 KB 777   3 years Martin number of cores, max asp memory usage and communication overhead moves to …
CenturioV2_1.tar.gz 6.4 MB 1018   18 months Manju RC1
compile.bat 703 bytes 626   3 years Martin new eclipse prolog version 6.0.84, we don't use the eclipse.jar anymore …
compile.sh 818 bytes 771   3 years Martin script updates
config.xml 395 bytes 882   3 years Martin wieder für max bench ausgaben
freemem.sh 67 bytes 700   3 years Martin my own free memory implementation for linux :)
gpl.txt 34.3 KB 615   3 years Manju
run.bat 774 bytes 626   3 years Martin new eclipse prolog version 6.0.84, we don't use the eclipse.jar anymore …
run.sh 927 bytes 1183   3 weeks Manju
Note: See TracBrowser for help on using the repository browser.