I've generally worried that SAT solvers were bulky, inconvenient and poorly integrated af, and usually not open source (and expensive at that). I'm really glad to see things like MiniSAT github.com/niklasso/minis happening - now let's do one with great docs too!
Quote Tweet
SAT solvers are faster than you think. codingnest.com/modern-sat-sol
1
4
23
