Human Folly about “constraint-programming”

Nonlinear (research.microsoft.com):
Dejan Jovanović and Leonardo de Moura wrote a #paper about deciding #SAT for nonlinear arithmetic #constraint-programming. Not Diophantine.
on 02015-09-18
Bkanren (github.com):
#miniKanren extended with #constraint-programming and ported to Bigloo. Unfortunately it seems to be totally undocumented beyond the build instructions and a list of operators. #KANREN
on 02015-09-18
Constraint programming blog (hakank.org):
a blog about #constraint-programming and #logic-programming. Talks a bit about #SAT solvers and their relationship to CP, which I still don’t understand.
on 02015-09-18
Goobergram (github.com):
Darius Bacon’s “Goobergram”, an implementation of the local constraint propagation approach to #constraint-programming demonstrated in #Linogram.
on 02015-09-16
Bertrand (github.com):
The Bertrand #constraint-programming system, related to #logic-programming.
on 02015-09-16