HardCAD is a constructive solid geometry modeler, with the goal of being the CSG modeler for POV-Ray.