Low-rank semidefinite programming for the MAX2SAT problem - View it on GitHub