Solver backends for SLAM karto