grpc and mikael's oasis added. next up split to solver
and problem parts