domain-specific language for modeling convex optimization problems in Python
