prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework