API reference

This page collects the full AutoLyap reference for problem classes, algorithms, Lyapunov analyses, and solver backends.

• Problem classes
  • InclusionProblem
  • Function classes
  • Operator classes
• Algorithms
  • Base algorithm
  • Concrete algorithms
• Lyapunov analyses
  • Iteration-independent analysis
  • Iteration-dependent analysis

• Solver backends