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