кстати у нас кто-нибудь работает активно в космической теме? какие либы лучше взять для условно моделирования миссий спутников и прочего? я с orekit работал в целом довольно долго, но мб еще что-то есть? я щас енв делаю чтобы у нас был в ресечим для того чтобы можно было мл решениям к космическим миссиями применять