Factor graph optimization library for GNSS positining - View it on GitHub