Skip to content

Releases: a16z/yices-solver

Release 2.6.5.post24

31 May 00:08
@github-actions github-actions
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.

Choose a tag to compare

View all tags
Release 2.6.5.post24 Latest
Latest

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

Release 2.6.4.post23

30 May 23:55
@github-actions github-actions
v2.6.4
b926ae4
This commit was signed with the committer’s verified signature.
0xkarmacoma karmacoma
GPG key ID: 3C7A61B0FA0D018D
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release 2.6.4.post23

Yices Solver Python wheels for version 2.6.4.post23

Includes wheels for:

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

Install with: pip install yices-solver==2.6.4.post23

Loading