ROS-SAT-Schedule-Solver:这将是一个用于机器人任务调度的 SAT 求解器

ROS-SAT-Schedule-Solver 作者 Skyler Peterson - Alex Sanchez-Stern - 概述 这是 sara 机器人项目的 SAT 编码插件，该项目主要用于 UW 的 Dub-E 机器人项目。 下面是这个 ROS 包的概述。 根 这个自述文件 文档 report.tex（此项目的报告乳胶） 最佳配音e.pdf（乳胶文件的pdf） 报告中图形的一些png文件 包含（忽略此目录） 发射run_sat_scheduler.launch（启动文件以在 ros 中运行此包） msg（包含此 ros 包的消息声明） 源文件 encoding.py（实际的 SAT 编码器） SATModeler.py（用于收集数据和调用编码器的ROS节点） SATModelerAPIsara.py（用于在 DB 中收集/解释任务的 ROS 节点） SAT