Skip to content

Release 1.7.5

Compare
Choose a tag to compare
@arminbiere arminbiere released this 02 Oct 17:36
· 463 commits to master since this release

Version 1.7.5

  • Decreased verbosity level for printing proof size.