SAT solvers <3

there’s something about SATPLAN that feels like it has metaphysical significance.