結果 : constraint solver in python