Message changes
Message changes
Plays interactively
Reduces Akka loglevel
Extracted client actor
SBT Assembly support
implemented probabilistic auto solver