関連ワード:  cp-sat solver python    sat solver example    what is a sat solver  
結果 : cp-sat solver python