loco:Clojure的约束编程库 源码

机车 警告:该项目不再维护。 另外,请注意,此项目是针对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回答这个问题的最简单方法可能是: ( for [x ( range 1 7 ), y ( ra