torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

Open in new window