Changes

v0.2.0

• Application name with upper case
• Extending model with theory symbols
• Added docs

v0.1.0

• create project

Release Notes

For a detailed list of changes, please check the GitHub releases and tags.