結果 : constraint satisfaction programming python