3 ms·SAT solvers <3 there’s something about SATPLAN that feels like it has metaphysical significance.by syntaxfree 4y agoSAT solvers <3 there’s something about SATPLAN that feels like it has metaphysical significance.