2013-11-23 93 views
-3

我正在嘗試編寫一個簡單的腳本來解決CSP問題。我目前使用Python約束https://github.com/DanielCasner/python-constraint使用Python約束編程

但我想添加一個約束在問題中的兩個特定變量。這可能嗎?例如,變量a和b應該總和爲5.

謝謝!

+2

這與主頁上的第一個例子幾乎一樣:'problem.addConstraint(lambda a,b:a * 2 == b,(「a」,「b」)'唯一的區別是你希望'a + b == 5'而不是'a * 2 == b'(或者你可以使用'ExactSumConstraint'而不是寫一個函數。) – abarnert

回答

2

是的。只需提供約束適用的變量名稱列表,作爲addConstraint的可選參數variables