結果 : constraint satisfaction in python