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