MatSat: a matrix-based differentiable SAT solver

Re-assign community