Skip to content

CryptoMiniSat 5.6.7

Choose a tag to compare

View all tags
@msoos msoos released this 18 Feb 21:37
· 4968 commits to master since this release
5.6.7
40da2a8

Some fixes and misc improvements. Also, a slightly changed naming for the independent variables. They are really sampling variables and so the interface has been renamed accordingly.

Assets 4
Loading