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