Update happyplan dependency