目录-df96ebf/-HEAD-来源：https://github.com/niklasso/minisat网站–软件遗产归档

就诊类型：

https://github.com/niklasso/minisat网站

2024年9月25日23:15:12 UTC

文件	模式	大小
文件
小型卫星
.gitignore（.git忽略）	-右-右--	16字节
CMakeLists.txt文件	-右-右--	2.7 KB
许可证	-右-右--	1.1 KB
生成文件	-右-右--	9.3 KB
自述文件	-右-右--	1.9 KB

自述文件