added exploration algorithm to solver