Skip to content

pumpkin-solver-v0.3.0

Latest
Latest

Choose a tag to compare

View all tags
@maartenflippo maartenflippo released this 11 Feb 10:48
· 23 commits to main since this release
pumpkin-solver-v0.3.0
801b58d

Fixed

  • Don't use binary equality when logging proof (#320)

Other

  • Update rust edition to 2024 (#311)
  • Run proof checker on integration tests (#329)
Assets 2
Loading