GitHub repository: Algorithmic-Alignment-Lab/sco_py
Primary language: Python
Description: Sequential Convex Optimization for TAMP problems with multiple backend solvers!