search

albertocasagrande / pyModelChecking

A Python model checking package
Other
58 stars 11 forks source link

Publish the package on conda-forge #5

Closed xtrojak closed 2 years ago

xtrojak commented 2 years ago

Publishing via conda-forge would be great contribution for the tool.

xtrojak commented 2 years ago

In progress here.

albertocasagrande commented 2 years ago

Great job. Thank you.

xtrojak commented 2 years ago

You are welcome. Please let me know if you would like to be listed as the recipe maintainer.

albertocasagrande commented 2 years ago

No time, too many projects...