GTSAM 2.3.0 (new formula)

GTSAM is the Georgia Tech Smoothing and Mapping library, which
is useful e.g. for robotics and vision processing.