This should be automatic: https://github.com/control-toolbox/CTSolvers.jl/blob/51a17602434e5151aa65013b22fee05eea18b432/src/ctsolvers/backends_types.jl#L39C1-L58C4
This should be automatic:
https://github.com/control-toolbox/CTSolvers.jl/blob/51a17602434e5151aa65013b22fee05eea18b432/src/ctsolvers/backends_types.jl#L39C1-L58C4