Solver backends for slam_karto