长距离无线mesh网络LDmesh（Long-Distance wireless mesh networks）因其成本低、带宽高、覆盖广、易于部署的特点，在偏远地区的远程医疗、远程教育以及野外大区域的环境监控等领域得到了广泛的应用。LDmesh网络单跳链路距离长，丢包率较高，网络运行环境较为恶劣，此外，人工排查网络故障成本高，可操作性差。因此，LDmesh网络管理和维护工具的设计与实现面临着诸多挑战。本文针对LDmesh网路设计并实现了一个基于SAT的轻量级网络管理平台，包括数据采集Agent和网络管理工具SatManager。数据采集Agent实现了对LDmesh网络节点状态的数据采集与资源整合，与此同时，实现了Sprinkle机制与配置错误恢复机制。Sprinkle机制将包含网络节点状态的数据文件全网覆盖，以应对网络节点失效的问题。配置错误恢复机制使用预先设置的辅助信息，自动恢复因失误操作导致网络节点被孤立的配置错误。网络管理工具SatManger实现了配置管理、部署管理以及故障管理。针对LDmesh故障管理，SatManager预定义LDmesh网络管理的不变量（算法），将预定义不变量与网络状态数据组合为SAT的实例，使用开源功能强大的SAT求解器SAT4J对SAT实例进行解析，以完成对网络故障的诊断。本文通过搭建实验环境对基于SAT的LDmesh网络管理平台进行了性能评价。实验结果表明，该平台实现了数据采集Agent与网络管理工具SatManager的各项功能，能有效地管理LDmesh网络。