GitHub - Haoran/SCG: http://www.ccs.neu.edu/home/lieber/evergreen/specker/scg-home.html

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Playgroundconfig		Playgroundconfig
bin		bin
gen		gen
history		history
maintainj/META-INF		maintainj/META-INF
src		src
PG.txt		PG.txt
TournamentStates.dat		TournamentStates.dat
UserState.dat		UserState.dat
build.xml		build.xml
demeterf.jar		demeterf.jar
hamcrest-all-1.3.0RC2.jar		hamcrest-all-1.3.0RC2.jar
junit-4.8.1.jar		junit-4.8.1.jar
mmg.MMGDomainPersistentPlayground.txt		mmg.MMGDomainPersistentPlayground.txt
mmg.MMGDomainwelfareclaim.txt		mmg.MMGDomainwelfareclaim.txt
org.eclipse.jdt.core.prefs		org.eclipse.jdt.core.prefs
walfareclaim.txt		walfareclaim.txt

Provide feedback