100644 blob 99804d40eeed221a2a27cae0eeb652bd273ef885	Manager.java
100644 blob a78e513ec08410b009ba83f8d7e2d1b35f98357a	Module.java
040000 tree 4a67a8b9f89d858f6b263c95af2a80a868241968	annotation
040000 tree a36688dd1a999732c75acab707d9edcc01c90eb9	config
040000 tree f7533c20d728d6331294e4614a97d15cd7ce2816	message
040000 tree c4b1b645458196e77f6c6bbdf4bf9faa6864d04a	session
040000 tree 4864c8ecb6860b15131ebb6d2885b4a3a668256e	solver
040000 tree e058d73a4ca535d3fdd1cf4589f93082f413907f	worker