cryptominisat4にMinisat風の皮を被せて、open-wboに組み込んでみる https://gist.github.com/msakai/5ae96caf0584468fa9a3 (cryptominisatは元々はMinisatから派生したけれど今ではAPIも実装も別物なので)

open-wbo: http://sat.inesc-id.pt/open-wbo/ cryptominisat4: http://www.msoos.org/cryptominisat4/