Scheidecker, K., & Okumura, K. LaCAM2_fact [Computer software]. https://github.com/idsc-frazzoli/LaCAM2_fact