elsoroka/Satisfiability.jl

Register 0.1.0

Opened this issue · 1 comments

Registration pull request created: JuliaRegistries/General/90358

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.0 -m "<description of version>" c38df61a6e58fbea2883c6767cecff2ebe2b5985
git push origin v0.1.0