remove resolver features

these are no longer needed since we're using the gecode resolver in Solve