Metadata-Version: 2.4
Name: autolyap
Version: 0.1.0
Summary: Automatic Lyapunov analysis
Home-page: https://autolyap.github.io
Author: Manu Upadhyaya
Author-email: manu.upadhyaya.42@gmail.com
License: MIT
Project-URL: Documentation, https://autolyap.github.io/
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: numpy>=1.24
Requires-Dist: mosek>=10.0
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: description-content-type
Dynamic: home-page
Dynamic: license
Dynamic: license-file
Dynamic: project-url
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary

# AutoLyap

A Python package for automated Lyapunov-based convergence analysis of first-order optimization and inclusion methods.

---

## Overview

AutoLyap streamlines the process of constructing and verifying Lyapunov analyses by formulating them as semidefinite programs (SDPs). It supports a broad class of structured optimization and inclusion problems, automating proofs of linear or sublinear convergence rates for many well‑known algorithms.

## Documentation

Full user guide and API reference:
➡️  [https://autolyap.github.io](https://autolyap.github.io/)

## Installation

```bash
pip install autolyap
```

AutoLyap depends on:

* [NumPy](https://numpy.org/) 
* [MOSEK](https://www.mosek.com/) (academic license available)
