Hacker News Reader

Cool project! Wish we would see more applications of SAT solvers or logic programming in general.

SAT solvers are magic. CSP solvers are the same magic with a much friendlier interface.

Got a discrete NP hard problem? A CSP solver will probably get that done.