Skip to content

Release 1.5.6

Compare
Choose a tag to compare
@arminbiere arminbiere released this 22 Jun 17:37
· 524 commits to master since this release

Clang-formatted all code (and fixed a spurious regression test failure).