DCFL:Haskell中的无通讯学习（即约束解决）实现

## DCFL 如KR Duffy等人的“分散约束满足”中所述，使用通信免费学习算法用Haskell编写的并行约束求解器。 有关详细信息，请参见和。