Started implementation of the concurrent solver