100644 blob 99804d40eeed221a2a27cae0eeb652bd273ef885	Manager.java
100644 blob d19b4c31e71fef24cb46c98fcbc020ee5c6dc981	Module.java
040000 tree 4a67a8b9f89d858f6b263c95af2a80a868241968	annotation
040000 tree 25e849de100687dbb3fe8a6db2840db7d49ada4c	config
040000 tree 896380c23038a80fcf950babe3a2aa54663a4da2	message
040000 tree c4b1b645458196e77f6c6bbdf4bf9faa6864d04a	session
040000 tree 7fb79a458b4cf854686391becc24ed67127813ac	solver
040000 tree 07fbf2871149d77a87e77e74adf1336709c8d478	worker