SATPLAN

Welcome to the SATPLAN documentation! This documentation provides an overview of the SATPLAN library, its features, and how to use it to benchmark and implement satellite task planning algorithms.

Warning

This documentation (and project) is a work in progress. If you have any questions or suggestions, please feel free to open an issue on the GitHub repository