机车 警告：该项目不再维护。 另外，请注意，此项目是针对Choco 3（而非Choco 4）编写的。 Loco是Clojure的约束编程库。 Loco为Java库Choco提供了一个完全声明性的功能接口。 [loco "0.3.1"] Loco需要JDK 8。 什么是约束编程？ 约束编程是关于解决可以用整数变量和这些变量的约束表示的问题。 例如，考虑一个问题，其中变量x是1到6的整数， y是3到7的整数。我们也知道x+y=10的约束。 x和y的所有可能值是什么？ 用Clojure回答这个