microsoft/sat
收藏官方服务：
资源简介：
该数据集包含多个特征字段，如变量数、子句数、提示信息、解决方案、类别和唯一标识符。数据集划分为训练集，并提供了详细的文件大小和示例数量信息。
The dataset includes multiple feature fields such as the number of variables, number of clauses, prompt information, solution, category, and unique identifier. The dataset is split into a training set and detailed information about file size and the number of examples is provided.
提供机构：
microsoft
