結果 : constraint programming vs integer programming