USB系统安装启动盘制作神器——Rufus
Rufus是一-个开源免费的快速制作U盘系统启动盘和格式化USB的实用小工具，它可以快速;
把ISO格式的系统镜像文件快速制作成可引导的USB启动安装盘,支持Wind
2022-06-22 10:00:33
1.1MB
1
PySAT：Python中的SAT技术
PySAT是一个Python（2.7，3.4+）工具箱，旨在为许多最新的求解器以及各种基数和伪布尔编码提供一个简单统一的接口。 PySAT的目的是使从事SAT及其应用和归纳的研究人员能够轻松地使用Python中的SAT oracle进行原型设计，同时逐步利用现代SAT求解器的原始低级实现的功能。
在解决问题的时候PySAT可以帮助也 。 例如，当需要快速实现MaxSAT求解器，MUS / MCS提取器或枚举器，基于抽象的QBF求解器或使用（可能是多个和/或增量式）解决应用程序问题的任何其他类型的工具时，PySAT十分方便。 ）使用SATOracle。
特征
PySAT集成了许多广泛使用的最新SAT求解器。 所有提供的求解器都是与PySAT一起安装的原始低层实现。 请注意，求解器的源代码不是项目源代码树的一部分，而是在每次安装PySAT时下载并打补丁
2022-06-19 14:14:48
3.75MB
1
Tesla DashCam & Music USB 驱动器制作工具
将 USB 驱动器格式化为 DashCam 和音乐的 2 个分区
仅适用于 macOS
特征
支持3种模式：仅cam，仅音乐，以及cam & music
如果适用，创建 TeslaCam 文件夹
万无一失：验证所有用户输入。验证指定的驱动器是否为 USB 驱动器。
支持分区方案 MBR 或 GPT
更多详情请阅读README.md文件
2022-06-17 19:05:32
2KB