Skip to content

SMTLib.jl v0.2.2

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Oct 11:35
· 5 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.2.2
This tag was signed with the committer’s verified signature.
hyperpolymath Jonathan D.A. Jewell
SSH Key Fingerprint: BJeGj94S8bh64mOnX5CuWu4f4HV7Mu9fCkPFHCPrk8g
Verified
Learn about vigilant mode.
126ced1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Installation

using Pkg
Pkg.add(url="https://github.com/hyperpolymath/SMTLib.jl", rev="v0.2.2")

Verification

sha256sum -c checksums.txt
gh attestation verify <file> -R hyperpolymath/SMTLib.jl
Assets 8
Loading