This paper formulates a 0-1 programming model for designing a cellular manufacturing system. The advantages of the model are discussed. A tree search algorithm based on the general assignment problem is developed. Computational experience of the algorithm is also reported.