100644 blob 99804d40eeed221a2a27cae0eeb652bd273ef885	Manager.java
100644 blob d19b4c31e71fef24cb46c98fcbc020ee5c6dc981	Module.java
040000 tree 4a67a8b9f89d858f6b263c95af2a80a868241968	annotation
040000 tree 2beeee9b38e23661387d12fc933576474d39fa78	config
040000 tree 896380c23038a80fcf950babe3a2aa54663a4da2	message
040000 tree ca2193d7e5683423aa78916f5571605aacb9b606	session
040000 tree d71414ac38d521d47ab3f0464259a04f5a1fbe80	solver
040000 tree 07fbf2871149d77a87e77e74adf1336709c8d478	worker