cryptominisat的github地址爲cryptominisat 其中Python使用cryptominisat的安裝步驟如下 sudo apt-get install build-essential cmake sud
