What a great talk! NP solvers in Clojure for puzzles

I was listening to this guy on this podcast Programming Throwdown and really liked the cut of his jib. So I sought out the talks he mentioned

Links to stuff mentioned

https://github.com/Engelberg/ycover

Rolling Stones – bindings to Java Sata solver Sat4j

https://github.com/Engelberg/rolling-stones

Tarantella – Dancing Links

https://github.com/Engelberg/tarantella

Loco – Choco   – CSP solver in java

 

SMT vs CSP?

https://cstheory.stackexchange.com/questions/29406/constraint-satisfaction-problem-csp-vs-satisfiability-modulo-theory-smt-wi

I guess the difference is the community as perspective. CSP tends to be from AI. SMT comes from formalizing and proving correctness of programs.

Leave a Reply

Your email address will not be published. Required fields are marked *