我是限制性编程的新手.我有一个问题,CLPFD没有像我期望的那样减少域名.这可能很简单.
[A,B] ins 1..5,A*B#=5.
我希望它能将A和B的域减少到
1\/5
但它只是给出了
A in 1..5,
A*B#=5,
B in 1..5.
任何建议,将不胜感激.