That actually looks promising. To my knowledge, it's the first gratis solid modeler. The user interface is very similar to Autodesk's Inventor Fusion. It's also on the Shapeways' list of supported programs (by way of STL -- I find it odd that they don't use ACIS, but hey.)

However, it's Windows only, and still in beta.