結果 : python constraint programming solver