Lyapunov solver: assert dense arguments
Lyap Solver: minor efficiency increase
Correction to option_helper script
Repair some lint errors
Repair some lint errors
automatic documentation update
automatic casadibot merge