The paper presents a new software framework for automatic generation of efficient solvers for a variety of optimization problems. Reviewers uniformly liked the generic approach and the use of automatic differentiation on a symbolic level. Based on the consensus, the paper is accepted, and we hope the authors will implement the suggestions provided in the reviews.