[Feature request] Have a method for inquiring Pacti's version

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

Closed iincer closed 1 year ago

iincer commented 1 year ago

Is your feature request related to a problem? Please describe. Report to the user what version of Pacti is being used.