https://github.com/locuslab/mixsat

Low-rank semidefinite programming for the MAX2SAT problem
https://github.com/locuslab/mixsat

Last synced: about 1 month ago
JSON representation

Low-rank semidefinite programming for the MAX2SAT problem

• Host: GitHub
• URL: https://github.com/locuslab/mixsat
• Owner: locuslab
• Created: 2018-11-14T21:15:39.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-12-18T02:55:54.000Z (over 7 years ago)
• Last Synced: 2025-02-24T17:14:57.501Z (over 1 year ago)
• Language: C
• Size: 17.6 KB
• Stars: 3
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# MIXSAT

*A MAXSAT solver by low-rank SDP and branch-and-bound. Crafted by [Po-Wei Wang](http://powei.tw) and

[J. Zico Kolter](http://zicokolter.com).*

---

+ [More details from our paper (AAAI'19)](https://arxiv.org/abs/1812.06362)

### Compilation

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

>	 make

The solvers can solve any unweighted DIMACS CNF file by

>	 ./complete FILE  

>	 ./incomplete FILE