Low-rank semidefinite programming for the MAX2SAT problem
Clone or download
Latest commit 998f2a9 Dec 18, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
Makefile Add compile flags for portability Nov 17, 2018
README.md Revise readme Dec 18, 2018
complete.c Initial commit Nov 14, 2018
incomplete.c Showing solutions in incomplete solver Nov 16, 2018



A MAXSAT solver by low-rank SDP and branch-and-bound. Crafted by Po-Wei Wang and J. Zico Kolter.


The directory contains the source code for the MIXSAT solvers:

complete.c: The MIXSAT solver for complete track, will output solutions only after verification.

incomplete.c: The MIXSAT solver for incomplete track, output solutions once immediately without verification.

To compile the code, please type


The solvers can solve any unweighted DIMACS CNF file by

./complete FILE
./incomplete FILE