FloripaSat MILPs

This dataset contains several instances of the Offline Nanosatellite Task Scheduling (ONTS) problem, based on the parameters of the FloripaSat-1 mission. Each instance (.json file) is paired with a (quasi-)optimal solution vector (_opt.npz file) and the 500 best solutions found (_sols.npz file).

In https://github.com/brunompacheco/sat-gnn you can find the code used to generate the instances, load them, and compute the results in the .npz files.