SMT-LIB and MiniZinc Encoding for Satellite Contact Plans