Download ggp base Free Java Code

.classpath// w ww  .  j a  v a  2s  . com
.gitignore
.project
.settings/org.eclipse.jdt.core.prefs
.settings/org.eclipse.jdt.ui.prefs
.settings/org.eclipse.ltk.core.refactoring.prefs
README
build.xml
cleanup.sh
games/games/connectFour/METADATA
games/games/connectFour/connectFour.js
games/games/connectFour/connectFour.kif
games/games/connectFour/connectFour.txt
games/games/connectFour/connectFour.xsl
games/games/ticTacToe/METADATA
games/games/ticTacToe/ticTacToe.js
games/games/ticTacToe/ticTacToe.kif
games/games/ticTacToe/ticTacToe.txt
games/games/ticTacToe/ticTacToe.xsl
games/resources/images/checkers/black_king.png
games/resources/images/checkers/crown.png
games/resources/images/checkers/red_king.png
games/resources/images/chess/Black_Bishop.png
games/resources/images/chess/Black_King.png
games/resources/images/chess/Black_Knight.png
games/resources/images/chess/Black_Pawn.png
games/resources/images/chess/Black_Queen.png
games/resources/images/chess/Black_Rook.png
games/resources/images/chess/White_Bishop.png
games/resources/images/chess/White_King.png
games/resources/images/chess/White_Knight.png
games/resources/images/chess/White_Pawn.png
games/resources/images/chess/White_Queen.png
games/resources/images/chess/White_Rook.png
games/resources/images/discs/black.png
games/resources/images/discs/blue.png
games/resources/images/discs/green.png
games/resources/images/discs/grey.png
games/resources/images/discs/orange.png
games/resources/images/discs/purple.png
games/resources/images/discs/red.png
games/resources/images/discs/teal.png
games/resources/images/discs/white.png
games/resources/images/discs/yellow.png
games/resources/images/pentago/BlueCircleArrowCCW.png
games/resources/images/pentago/BlueCircleArrowCW.png
games/test/connectFour.kif
games/test/simpleMutex.kif
games/test/test_case_1a.kif
games/test/test_case_1b.kif
games/test/test_case_2a.kif
games/test/test_case_2b.kif
games/test/test_case_2c.kif
games/test/test_case_3a.kif
games/test/test_case_3b.kif
games/test/test_case_3c.kif
games/test/test_case_3d.kif
games/test/test_case_3e.kif
games/test/test_case_3f.kif
games/test/test_case_4a.kif
games/test/test_case_5a.kif
games/test/test_case_5b.kif
games/test/test_case_5c.kif
games/test/test_clean_not_distinct.kif
games/test/test_distinct_beginning_rule.kif
games/test/test_invalid_function_arities_differ.kif
games/test/test_invalid_sentence_arities_differ.kif
games/test/ticTacToe.kif
licences/FlyingSaucer/LICENSE
licences/FlyingSaucer/LICENSE-LGPL-2.1.txt
licences/FlyingSaucer/LICENSE-W3C-TEST
licences/JSON/LICENSE
licences/JTidy/LICENSE
licences/Jython/LICENSE
licences/JythonConsole/COPYING.txt
licences/LICENSE
overview.html
src/external/Base64Coder/Base64Coder.java
src/external/Clojure/clojure.jar
src/external/FlyingSaucer/core-renderer.jar
src/external/Guava/guava-14.0.1.jar
src/external/JFreeChart/jcommon-1.0.17.jar
src/external/JFreeChart/jfreechart-1.0.14.jar
src/external/JGoodiesForms/forms-1.2.1.jar
src/external/JSON/JSONArray.java
src/external/JSON/JSONException.java
src/external/JSON/JSONObject.java
src/external/JSON/JSONString.java
src/external/JSON/JSONTokener.java
src/external/JSON/README
src/external/JTidy/Tidy.jar
src/external/JUnit/hamcrest-core-1.3.jar
src/external/JUnit/junit-4.11.jar
src/external/Jython/jython.jar
src/external/javassist/javassist.jar
src/external/reflections/reflections-0.9.9-RC1.jar
src/org/ggp/base/apps/consoles/ClojureConsole.java
src/org/ggp/base/apps/consoles/PythonConsole.java
src/org/ggp/base/apps/kiosk/GameCanvas.java
src/org/ggp/base/apps/kiosk/GameGUI.java
src/org/ggp/base/apps/kiosk/Kiosk.java
src/org/ggp/base/apps/kiosk/KioskGamer.java
src/org/ggp/base/apps/kiosk/MoveSelectedEvent.java
src/org/ggp/base/apps/kiosk/games/BattleCanvas.java
src/org/ggp/base/apps/kiosk/games/BiddingTicTacToeCanvas.java
src/org/ggp/base/apps/kiosk/games/BlockerCanvas.java
src/org/ggp/base/apps/kiosk/games/BlokboxSimpleCanvas.java
src/org/ggp/base/apps/kiosk/games/BreakthroughCanvas.java
src/org/ggp/base/apps/kiosk/games/BreakthroughHolesCanvas.java
src/org/ggp/base/apps/kiosk/games/BreakthroughSmallCanvas.java
src/org/ggp/base/apps/kiosk/games/CephalopodCanvas.java
src/org/ggp/base/apps/kiosk/games/CheckersCanvas.java
src/org/ggp/base/apps/kiosk/games/CheckersSmallCanvas.java
src/org/ggp/base/apps/kiosk/games/CheckersTinyCanvas.java
src/org/ggp/base/apps/kiosk/games/ChessCanvas.java
src/org/ggp/base/apps/kiosk/games/ChickenTicTacToeCanvas.java
src/org/ggp/base/apps/kiosk/games/ConnectFiveCanvas.java
src/org/ggp/base/apps/kiosk/games/ConnectFourCanvas.java
src/org/ggp/base/apps/kiosk/games/FFACanvas.java
src/org/ggp/base/apps/kiosk/games/GoldenRectangleCanvas.java
src/org/ggp/base/apps/kiosk/games/KnightFightCanvas.java
src/org/ggp/base/apps/kiosk/games/KnightthroughCanvas.java
src/org/ggp/base/apps/kiosk/games/NumberTicTacToeCanvas.java
src/org/ggp/base/apps/kiosk/games/PawnWhoppingCanvas.java
src/org/ggp/base/apps/kiosk/games/PentagoCanvas.java
src/org/ggp/base/apps/kiosk/games/TTCC4Canvas.java
src/org/ggp/base/apps/kiosk/games/TTCC4SmallCanvas.java
src/org/ggp/base/apps/kiosk/games/TTCCanvas.java
src/org/ggp/base/apps/kiosk/games/TTTxNineCanvas.java
src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas.java
src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas_Reference.java
src/org/ggp/base/apps/kiosk/templates/CommonGraphics.java
src/org/ggp/base/apps/kiosk/templates/GameCanvas_Chessboard.java
src/org/ggp/base/apps/kiosk/templates/GameCanvas_FancyGrid.java
src/org/ggp/base/apps/kiosk/templates/GameCanvas_SimpleGrid.java
src/org/ggp/base/apps/logging/LogSummarizer.java
src/org/ggp/base/apps/player/Player.java
src/org/ggp/base/apps/player/PlayerRunner.java
src/org/ggp/base/apps/player/ProxiedPlayerRunner.java
src/org/ggp/base/apps/player/config/ConfigPanel.java
src/org/ggp/base/apps/player/config/EmptyConfigPanel.java
src/org/ggp/base/apps/player/detail/DetailPanel.java
src/org/ggp/base/apps/player/detail/EmptyDetailPanel.java
src/org/ggp/base/apps/player/detail/SimpleDetailPanel.java
src/org/ggp/base/apps/player/match/MatchPanel.java
src/org/ggp/base/apps/player/network/NetworkPanel.java
src/org/ggp/base/apps/server/Server.java
src/org/ggp/base/apps/server/error/ErrorPanel.java
src/org/ggp/base/apps/server/history/HistoryPanel.java
src/org/ggp/base/apps/server/leaderboard/LeaderboardPanel.java
src/org/ggp/base/apps/server/scheduling/PendingMatch.java
src/org/ggp/base/apps/server/scheduling/Scheduler.java
src/org/ggp/base/apps/server/scheduling/SchedulingPanel.java
src/org/ggp/base/apps/server/states/StatesPanel.java
src/org/ggp/base/apps/server/visualization/VisualizationPanel.java
src/org/ggp/base/apps/server/visualization/VizContainerPanel.java
src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm.java
src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm_Test.java
src/org/ggp/base/apps/utilities/GameServerRunner.java
src/org/ggp/base/apps/utilities/SampleKeys.json
src/org/ggp/base/apps/utilities/SimpleGameSim.java
src/org/ggp/base/apps/validator/BatchValidator.java
src/org/ggp/base/apps/validator/OutcomePanel.java
src/org/ggp/base/apps/validator/Validator.java
src/org/ggp/base/apps/validator/ValidatorThread.java
src/org/ggp/base/apps/validator/event/ValidatorFailureEvent.java
src/org/ggp/base/apps/validator/event/ValidatorSuccessEvent.java
src/org/ggp/base/player/GamePlayer.java
src/org/ggp/base/player/event/PlayerDroppedPacketEvent.java
src/org/ggp/base/player/event/PlayerReceivedMessageEvent.java
src/org/ggp/base/player/event/PlayerSentMessageEvent.java
src/org/ggp/base/player/event/PlayerTimeEvent.java
src/org/ggp/base/player/gamer/Gamer.java
src/org/ggp/base/player/gamer/clojure/ClojureGamer.java
src/org/ggp/base/player/gamer/clojure/ClojureGamer_Test.java
src/org/ggp/base/player/gamer/clojure/stubs/SampleClojureGamerStub.java
src/org/ggp/base/player/gamer/event/GamerAbortedMatchEvent.java
src/org/ggp/base/player/gamer/event/GamerCompletedMatchEvent.java
src/org/ggp/base/player/gamer/event/GamerNewMatchEvent.java
src/org/ggp/base/player/gamer/event/GamerSelectedMoveEvent.java
src/org/ggp/base/player/gamer/event/GamerUnrecognizedMatchEvent.java
src/org/ggp/base/player/gamer/exception/AbortingException.java
src/org/ggp/base/player/gamer/exception/GamePreviewException.java
src/org/ggp/base/player/gamer/exception/MetaGamingException.java
src/org/ggp/base/player/gamer/exception/MoveSelectionException.java
src/org/ggp/base/player/gamer/exception/StoppingException.java
src/org/ggp/base/player/gamer/python/PythonGamer.java
src/org/ggp/base/player/gamer/python/PythonGamer_Test.java
src/org/ggp/base/player/gamer/python/stubs/SamplePythonGamerStub.java
src/org/ggp/base/player/gamer/statemachine/StateMachineGamer.java
src/org/ggp/base/player/gamer/statemachine/human/HumanGamer.java
src/org/ggp/base/player/gamer/statemachine/human/event/HumanNewMovesEvent.java
src/org/ggp/base/player/gamer/statemachine/human/event/HumanTimeoutEvent.java
src/org/ggp/base/player/gamer/statemachine/human/gui/HumanDetailPanel.java
src/org/ggp/base/player/gamer/statemachine/random/RandomGamer.java
src/org/ggp/base/player/gamer/statemachine/sample/SampleGamer.java
src/org/ggp/base/player/gamer/statemachine/sample/SampleLegalGamer.java
src/org/ggp/base/player/gamer/statemachine/sample/SampleMonteCarloGamer.java
src/org/ggp/base/player/gamer/statemachine/sample/SampleNoopGamer.java
src/org/ggp/base/player/gamer/statemachine/sample/SampleSearchLightGamer.java
src/org/ggp/base/player/proxy/ProxyGamePlayer.java
src/org/ggp/base/player/proxy/ProxyGamePlayerClient.java
src/org/ggp/base/player/proxy/ProxyMessage.java
src/org/ggp/base/player/proxy/WorkingResponseSelectedEvent.java
src/org/ggp/base/player/request/factory/RequestFactory.java
src/org/ggp/base/player/request/factory/exceptions/RequestFormatException.java
src/org/ggp/base/player/request/grammar/AbortRequest.java
src/org/ggp/base/player/request/grammar/InfoRequest.java
src/org/ggp/base/player/request/grammar/PlayRequest.java
src/org/ggp/base/player/request/grammar/PreviewRequest.java
src/org/ggp/base/player/request/grammar/Request.java
src/org/ggp/base/player/request/grammar/StartRequest.java
src/org/ggp/base/player/request/grammar/StopRequest.java
src/org/ggp/base/server/GameServer.java
src/org/ggp/base/server/event/ServerAbortedMatchEvent.java
src/org/ggp/base/server/event/ServerCompletedMatchEvent.java
src/org/ggp/base/server/event/ServerConnectionErrorEvent.java
src/org/ggp/base/server/event/ServerIllegalMoveEvent.java
src/org/ggp/base/server/event/ServerMatchUpdatedEvent.java
src/org/ggp/base/server/event/ServerNewGameStateEvent.java
src/org/ggp/base/server/event/ServerNewMatchEvent.java
src/org/ggp/base/server/event/ServerNewMovesEvent.java
src/org/ggp/base/server/event/ServerTimeEvent.java
src/org/ggp/base/server/event/ServerTimeoutEvent.java
src/org/ggp/base/server/request/RequestBuilder.java
src/org/ggp/base/server/threads/AbortRequestThread.java
src/org/ggp/base/server/threads/PlayRequestThread.java
src/org/ggp/base/server/threads/PreviewRequestThread.java
src/org/ggp/base/server/threads/RandomPlayRequestThread.java
src/org/ggp/base/server/threads/RequestThread.java
src/org/ggp/base/server/threads/StartRequestThread.java
src/org/ggp/base/server/threads/StopRequestThread.java
src/org/ggp/base/test/AllTests.java
src/org/ggp/base/test/GameParsingTests.java
src/org/ggp/base/test/GdlCleanerTests.java
src/org/ggp/base/test/NoTabsInRulesheetsTest.java
src/org/ggp/base/test/ProverStateMachineTests.java
src/org/ggp/base/test/SimpleSentenceFormTest.java
src/org/ggp/base/test/StaticValidationTests.java
src/org/ggp/base/util/concurrency/ConcurrencyUtils.java
src/org/ggp/base/util/configuration/GamerConfiguration.java
src/org/ggp/base/util/configuration/ProjectConfiguration.java
src/org/ggp/base/util/crypto/BaseCryptography.java
src/org/ggp/base/util/crypto/BaseHashing.java
src/org/ggp/base/util/crypto/CanonicalJSON.java
src/org/ggp/base/util/crypto/SignableJSON.java
src/org/ggp/base/util/crypto/Test_BaseCryptography.java
src/org/ggp/base/util/crypto/Test_CanonicalJSON.java
src/org/ggp/base/util/crypto/Test_SignableJSON.java
src/org/ggp/base/util/files/FileUtils.java
src/org/ggp/base/util/game/CloudGameRepository.java
src/org/ggp/base/util/game/Game.java
src/org/ggp/base/util/game/GameRepository.java
src/org/ggp/base/util/game/LocalGameRepository.java
src/org/ggp/base/util/game/RemoteGameRepository.java
src/org/ggp/base/util/game/TestGameRepository.java
src/org/ggp/base/util/gdl/GdlUtils.java
src/org/ggp/base/util/gdl/GdlValidator.java
src/org/ggp/base/util/gdl/GdlVisitor.java
src/org/ggp/base/util/gdl/GdlVisitors.java
src/org/ggp/base/util/gdl/factory/GdlFactory.java
src/org/ggp/base/util/gdl/factory/exceptions/GdlFormatException.java
src/org/ggp/base/util/gdl/grammar/Gdl.java
src/org/ggp/base/util/gdl/grammar/GdlConstant.java
src/org/ggp/base/util/gdl/grammar/GdlDistinct.java
src/org/ggp/base/util/gdl/grammar/GdlFunction.java
src/org/ggp/base/util/gdl/grammar/GdlLiteral.java
src/org/ggp/base/util/gdl/grammar/GdlNot.java
src/org/ggp/base/util/gdl/grammar/GdlOr.java
src/org/ggp/base/util/gdl/grammar/GdlPool.java
src/org/ggp/base/util/gdl/grammar/GdlProposition.java
src/org/ggp/base/util/gdl/grammar/GdlRelation.java
src/org/ggp/base/util/gdl/grammar/GdlRule.java
src/org/ggp/base/util/gdl/grammar/GdlSentence.java
src/org/ggp/base/util/gdl/grammar/GdlTerm.java
src/org/ggp/base/util/gdl/grammar/GdlVariable.java
src/org/ggp/base/util/gdl/model/AbstractSentenceDomainModel.java
src/org/ggp/base/util/gdl/model/AbstractSentenceForm.java
src/org/ggp/base/util/gdl/model/CartesianSentenceFormDomain.java
src/org/ggp/base/util/gdl/model/DependencyGraphs.java
src/org/ggp/base/util/gdl/model/DependencyGraphsTest.java
src/org/ggp/base/util/gdl/model/FullSentenceFormDomain.java
src/org/ggp/base/util/gdl/model/GameFlow.java
src/org/ggp/base/util/gdl/model/GameFlowTester.java
src/org/ggp/base/util/gdl/model/ImmutableSentenceDomainModel.java
src/org/ggp/base/util/gdl/model/ImmutableSentenceFormModel.java
src/org/ggp/base/util/gdl/model/SentenceDomainModel.java
src/org/ggp/base/util/gdl/model/SentenceDomainModelFactory.java
src/org/ggp/base/util/gdl/model/SentenceDomainModelOptimizer.java
src/org/ggp/base/util/gdl/model/SentenceDomainModels.java
src/org/ggp/base/util/gdl/model/SentenceForm.java
src/org/ggp/base/util/gdl/model/SentenceFormDomain.java
src/org/ggp/base/util/gdl/model/SentenceFormModel.java
src/org/ggp/base/util/gdl/model/SentenceFormModelFactory.java
src/org/ggp/base/util/gdl/model/SentenceForms.java
src/org/ggp/base/util/gdl/model/SentenceFormsFinder.java
src/org/ggp/base/util/gdl/model/SentenceModelUtils.java
src/org/ggp/base/util/gdl/model/SimpleSentenceForm.java
src/org/ggp/base/util/gdl/model/assignments/AddibleFunctionInfo.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentFunction.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentIterationPlan.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentIterator.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentIteratorImpl.java
src/org/ggp/base/util/gdl/model/assignments/Assignments.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentsFactory.java
src/org/ggp/base/util/gdl/model/assignments/AssignmentsImpl.java
src/org/ggp/base/util/gdl/model/assignments/FunctionInfo.java
src/org/ggp/base/util/gdl/model/assignments/FunctionInfoImpl.java
src/org/ggp/base/util/gdl/model/assignments/FunctionInfos.java
src/org/ggp/base/util/gdl/model/assignments/IterationOrderCandidate.java
src/org/ggp/base/util/gdl/model/assignments/MutableFunctionInfo.java
src/org/ggp/base/util/gdl/scrambler/GdlRenderer.java
src/org/ggp/base/util/gdl/scrambler/GdlRenderer_Test.java
src/org/ggp/base/util/gdl/scrambler/GdlScrambler.java
src/org/ggp/base/util/gdl/scrambler/GdlScrambler_Test.java
src/org/ggp/base/util/gdl/scrambler/MappingGdlScrambler.java
src/org/ggp/base/util/gdl/scrambler/NoOpGdlScrambler.java
src/org/ggp/base/util/gdl/scrambler/WordList.java
src/org/ggp/base/util/gdl/transforms/CommonTransforms.java
src/org/ggp/base/util/gdl/transforms/CondensationIsolator.java
src/org/ggp/base/util/gdl/transforms/ConstantChecker.java
src/org/ggp/base/util/gdl/transforms/ConstantCheckerFactory.java
src/org/ggp/base/util/gdl/transforms/DeORer.java
src/org/ggp/base/util/gdl/transforms/DistinctAndNotMover.java
src/org/ggp/base/util/gdl/transforms/GdlCleaner.java
src/org/ggp/base/util/gdl/transforms/ImmutableConstantChecker.java
src/org/ggp/base/util/gdl/transforms/Relationizer.java
src/org/ggp/base/util/gdl/transforms/TransformTester.java
src/org/ggp/base/util/gdl/transforms/VariableConstrainer.java
src/org/ggp/base/util/gdl/transforms/standalone/StandaloneDeORer.java
src/org/ggp/base/util/gdl/transforms/standalone/StandaloneVariableConstrainer.java
src/org/ggp/base/util/http/HttpReader.java
src/org/ggp/base/util/http/HttpRequest.java
src/org/ggp/base/util/http/HttpWriter.java
src/org/ggp/base/util/http/Test_Http.java
src/org/ggp/base/util/loader/RemoteResourceLoader.java
src/org/ggp/base/util/logging/GamerLogger.java
src/org/ggp/base/util/logging/LogSummaryGenerator.java
src/org/ggp/base/util/match/Match.java
src/org/ggp/base/util/match/MatchPublisher.java
src/org/ggp/base/util/observer/Event.java
src/org/ggp/base/util/observer/Observer.java
src/org/ggp/base/util/observer/Subject.java
src/org/ggp/base/util/presence/InfoResponse.java
src/org/ggp/base/util/presence/PlayerPresence.java
src/org/ggp/base/util/presence/PlayerPresenceManager.java
src/org/ggp/base/util/presence/Test_InfoResponse.java
src/org/ggp/base/util/propnet/architecture/Component.java
src/org/ggp/base/util/propnet/architecture/PropNet.java
src/org/ggp/base/util/propnet/architecture/components/And.java
src/org/ggp/base/util/propnet/architecture/components/Constant.java
src/org/ggp/base/util/propnet/architecture/components/Not.java
src/org/ggp/base/util/propnet/architecture/components/Or.java
src/org/ggp/base/util/propnet/architecture/components/Proposition.java
src/org/ggp/base/util/propnet/architecture/components/Transition.java
src/org/ggp/base/util/propnet/factory/OptimizingPropNetFactory.java
src/org/ggp/base/util/propnet/factory/PropNetFactory.java
src/org/ggp/base/util/propnet/factory/annotater/PropNetAnnotater.java
src/org/ggp/base/util/propnet/factory/converter/PropNetConverter.java
src/org/ggp/base/util/propnet/factory/flattener/PropNetAnnotatedFlattener.java
src/org/ggp/base/util/propnet/factory/flattener/PropNetFlattener.java
src/org/ggp/base/util/prover/Prover.java
src/org/ggp/base/util/prover/aima/AimaProver.java
src/org/ggp/base/util/prover/aima/cache/ProverCache.java
src/org/ggp/base/util/prover/aima/knowledge/KnowledgeBase.java
src/org/ggp/base/util/prover/aima/renamer/VariableRenamer.java
src/org/ggp/base/util/prover/aima/substituter/Substituter.java
src/org/ggp/base/util/prover/aima/substitution/Substitution.java
src/org/ggp/base/util/prover/aima/unifier/Unifier.java
src/org/ggp/base/util/reasoner/DifferentialForwardChainingReasoner.java
src/org/ggp/base/util/reasoner/ForwardChainingReasoner.java
src/org/ggp/base/util/reasoner/gdl/GdlChainingReasoner.java
src/org/ggp/base/util/reasoner/gdl/GdlSentenceSet.java
src/org/ggp/base/util/reflection/ProjectSearcher.java
src/org/ggp/base/util/statemachine/FailsafeStateMachine.java
src/org/ggp/base/util/statemachine/MachineState.java
src/org/ggp/base/util/statemachine/Move.java
src/org/ggp/base/util/statemachine/Role.java
src/org/ggp/base/util/statemachine/StateMachine.java
src/org/ggp/base/util/statemachine/cache/CachedStateMachine.java
src/org/ggp/base/util/statemachine/cache/TtlCache.java
src/org/ggp/base/util/statemachine/exceptions/GoalDefinitionException.java
src/org/ggp/base/util/statemachine/exceptions/MoveDefinitionException.java
src/org/ggp/base/util/statemachine/exceptions/TransitionDefinitionException.java
src/org/ggp/base/util/statemachine/implementation/propnet/SamplePropNetStateMachine.java
src/org/ggp/base/util/statemachine/implementation/prover/ProverStateMachine.java
src/org/ggp/base/util/statemachine/implementation/prover/query/ProverQueryBuilder.java
src/org/ggp/base/util/statemachine/implementation/prover/result/ProverResultParser.java
src/org/ggp/base/util/statemachine/verifier/StateMachineVerifier.java
src/org/ggp/base/util/symbol/factory/SymbolFactory.java
src/org/ggp/base/util/symbol/factory/exceptions/SymbolFormatException.java
src/org/ggp/base/util/symbol/grammar/Symbol.java
src/org/ggp/base/util/symbol/grammar/SymbolAtom.java
src/org/ggp/base/util/symbol/grammar/SymbolList.java
src/org/ggp/base/util/symbol/grammar/SymbolPool.java
src/org/ggp/base/util/ui/CloseableTabs.java
src/org/ggp/base/util/ui/ConsolePanel.java
src/org/ggp/base/util/ui/GameSelector.java
src/org/ggp/base/util/ui/GameStateRenderer.java
src/org/ggp/base/util/ui/JLabelBold.java
src/org/ggp/base/util/ui/JLabelHyperlink.java
src/org/ggp/base/util/ui/NativeUI.java
src/org/ggp/base/util/ui/PlayerSelector.java
src/org/ggp/base/util/ui/PublishButton.java
src/org/ggp/base/util/ui/table/JZebraTable.java
src/org/ggp/base/util/ui/timer/JTimerBar.java
src/org/ggp/base/validator/BasesInputsValidator.java
src/org/ggp/base/validator/GameValidator.java
src/org/ggp/base/validator/OPNFValidator.java
src/org/ggp/base/validator/SimulationValidator.java
src/org/ggp/base/validator/StaticValidator.java
src/org/ggp/base/validator/ValidatorException.java
src_clj/sample_gamer.clj
src_py/external/JythonConsole/__init__.py
src_py/external/JythonConsole/console.py
src_py/external/JythonConsole/history.py
src_py/external/JythonConsole/introspect.py
src_py/external/JythonConsole/jintrospect.py
src_py/external/JythonConsole/popup.py
src_py/external/JythonConsole/tip.py
src_py/external/__init__.py
src_py/sample_gamer.py
src_py/scripts.py