関連ワード:  cdcl sat solver python    sat solver example  
結果 : cdcl sat solver python