Skip to content

Release 1.7.5
Compare
Choose a tag to compare
@arminbiere arminbiere released this 02 Oct 17:36
· 358 commits to master since this release
rel-1.7.5
4b4ff19

Version 1.7.5

  • Decreased verbosity level for printing proof size.
Assets 2
Loading