Implementation of the AOStar Algorithm