Skip to content

Release 2.6.5.post24

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 31 May 00:08
· 1 commit to main since this release
v2.6.5
b926ae4
This commit was signed with the committer’s verified signature.
0xkarmacoma karmacoma
GPG key ID: 3C7A61B0FA0D018D
Verified
Learn about vigilant mode.

Yices Solver Python wheels for version 2.6.5.post24

Includes wheels for:

  • Linux (manylinux_2_28_x86_64)
  • macOS (Intel and Apple Silicon)
  • Windows (amd64)

Install with: pip install yices-solver==2.6.5.post24

Assets 2
Loading