Navigator / planning / modelling / modules / satlib