在石250使用的软件可能包括以下几种：

Rhino：

Rhino是一种功能强大的三维建模软件，广泛应用于石雕制作。它具有直观的界面和丰富的建模工具，可以帮助艺术家将设计理念转化为具体的石雕作品。Rhino还支持多种文件格式，可以与其他软件进行良好的兼容性。

ZBrush：

ZBrush是一种数字雕刻软件，被广泛应用于石雕制作。它使用独特的“像素”技术，可以实现高精度的细节雕刻。ZBrush还提供了丰富的工具和材质库，可以帮助艺术家更好地表达自己的创意。

ArtCAM：

ArtCAM是一种专业的雕刻软件，特别适用于石雕制作。它具有简单易用的界面和强大的切割工具，可以帮助艺术家快速创建复杂的雕刻模型。ArtCAM还提供了丰富的材质库和纹理库，可以帮助艺术家更好地表现石雕的质感和细节。

AutoCAD：

AutoCAD是一种广泛应用于建筑和工程设计的软件，但也可以用于石雕制作。它具有强大的二维和三维建模功能，可以帮助艺术家将设计图纸转化为具体的石雕作品。AutoCAD还支持与其他软件的集成，可以方便地导入和导出文件。

建议根据具体需求和操作习惯选择合适的软件，以提高工作效率和创作质量。