3 ms·Differentiable SAT solvers is a thing.by w_t_payne 7y agoDifferentiable SAT solvers is a thing.ssivark 7y agoPointers please; not just off-hand mentions leaving others to scratch their heads about what you mean! :-)