search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Versioning in Pacti #311

Closed ayush9pandey closed 1 year ago

ayush9pandey commented 1 year ago

This PR adds the version query with Pacti:

>>> import pacti
>>> pacti.__version__
'1.0.0-alpha'

The version is written to the __version__.py file.

Merging this PR will fix #310