100644 blob 84d47cb3d3cda27c83059a7acef0191e281716c4	Manager.java
100644 blob d19b4c31e71fef24cb46c98fcbc020ee5c6dc981	Module.java
040000 tree 4a67a8b9f89d858f6b263c95af2a80a868241968	annotation
040000 tree 06ff6897b08b2614489a5ef963f7fd4658245916	config
040000 tree 896380c23038a80fcf950babe3a2aa54663a4da2	message
040000 tree d2dcc3fbbf3b0508850351283787bc75294bb0f9	session
040000 tree ef08f83bc3c568702bac2c9b132d869d8ce0b3ac	solver
040000 tree 07fbf2871149d77a87e77e74adf1336709c8d478	worker