我在尝试优化可能会遇到负数的值时遇到了问题：
{ choose(-1..10)} = 1.
#minimize {C@1 : choose(C)}.
使用上面的代码，在我运行它之后，我得到：
Answer: 1
choose(-1)
Optimization: 0
OPTIMUM FOUND
Models : 1
Optimum : yes
Optimization : 0
Calls : 1
Time : 0.004s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.000s
最小值不应该是-1吗？或者还有更多的事情要做以最小化负成本？