CryptoMiniSat 5.6.4

msoos released this 05 Aug 13:38

· 4987 commits to master since this release

c39be87

Some minor fixes, including:

license texts
manpage
typos
removal of "debian" folder

Many thanks to Julian Rüth for helping me with a lot of the above!

Assets 5