Software DAQP a dual active-set quadratic programming solver ASCertain.jl exact complexity certification method for active-set QP solvers LinearMPC.jl creating and analyzing MPCs for linear systems
