We describe an algorithm for performing regularized set operations on polyhedral solids. Robustness of this algorithm is achieved by adding symbolic reasoning as a supplemental step that compensates for possible numerical uncertainty. The algorithm has been implemented, and our experience with the implementation is discussed.