Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 849 Bytes

README.md

File metadata and controls

12 lines (8 loc) · 849 Bytes

QAOA Examples for Max-SAT Problems

These are examples of parsing a max-SAT problem in a proprietary format. Problems can be converted into QUBO form as described in this article, appendix C to be later simulated with cirq.

The maxSAT problem (after being converted into QUBO form) can be also saved into a proprietary format that is supported by DWave machine to be run on the hardware.

In order only parse problems, convert them into QUBO format and collect some statistics (e.g., about ancillary qubits and total qubits), you can run it as following:

python parse_raw_sat.py --dir=YOUR_DIR_WITH_PROBLEMS

If you would also like to save this in format for DWave machine, please add a --dwave=True flag.