Evolution of sol-azy

sol-azy is currently in development, and we have few ideas for new features.

Static analysis

Enhance Starlark libraries

Support MIR