IRIT is a solid modeling environment that allows one to model basic, primitive based, models using Boolean operations as well as freeform surface's based models.