File list (Check if you may need any files):
.classpath
.project
.settings
.........\org.eclipse.jdt.core.prefs
bin
...\query_input2.txt
...\wumpus10by10_breezeMap_input1.txt
...\wumpus10by10_original.txt
...\wumpus3
...\.......\CNF$Clause.class
...\.......\CNF$Term.class
...\.......\CNF.class
...\.......\Resolution.class
...\.......\WorldApplication.class
gameboard.txt
gameboard_ppt.txt
query.txt
query_input2.txt
query_ppt.txt
src
...\wumpus3
...\.......\CNF.java
...\.......\Resolution.java
...\.......\WordApplication.java
wumpus10by10_breezeMap_input1.txt
wumpus10by10_original.txt
Download