Reminder — this coming Monday (8/8) is my talk on using a SAT Solver in Clojure. I will talk not just about satisfaction solvers and linear programming, but also about interface design. As always… at Capital Factory downtown. And, as a change of pace, https://www.skipprenovation.com/ will provide some pizza and beverage.

SAT solvers are one of those things I wish i used more. It is so cool when “if you squint at this super hard problem, realize its just satisfaction problem and can get it into DNF like this and then these crazy libs will tell you how to color the map so no colors touch themselves” or crazy stuff

i hope you have some concrete usecases so i can try to slip it in at work 🙂

I’m looking at it for use at work… so, yea, it’s a concrete use case, not just playing around!

stoked to see it