3 ms·CryptoMiniSat 5.0.1 released – with MIT license5 points by another 10y agobrudgers 10y agoRepository: https://github.com/msoos/cryptominisat https://github.com/msoos/cryptominisat