ROS SAT Schedule Solver 机器人任务调度的SAT求解器

ROS-SAT-Schedule-Solver 是由 Skyler Peterson 和 Alex Sanchez-Stern 开发的一款专为 UW Dub-E 机器人项目 设计的 SAT 编码插件。这个插件的核心功能是为 SARA 机器人项目 提供任务调度解决方案。项目的主要内容包括自述文件 report.tex、启动文件 run_sat_scheduler.launch、消息声明 msg 以及源文件 encoding.py、SATModeler.py 和 SATModelerAPIsara.py。

对于有兴趣深入了解或应用此插件的开发者，可以参考以下链接获取相关资源：

• 进一步了解 机器人插件，点击这里。

• 需要调度机器人源码的支持，可以访问此链接。

• 想获取 SAT 求解器 minisat 的详细信息，可点击此处。

• 如需下载和应用 ROS 机器人调度中心 的程序，推荐点击此链接。