The ImplicitSolids solid modeling package provides methods for computer-aided design of three-dimensional solid objects in terms of implicit functions. Composite solids are created using alebraic approximations of Boolean operations on volume sets and are visualized by spherical plotting or ray casting.