posted “古いUbuntuにCryptominisat4をインストールする方法” on @Qiita http://qiita.com/masahiro_sakai/items/d21ffc1fbfd253cf272e