Library to efficiently simulate QAOA for SAT and related problems.
Does not include code/scripts for Condor parallelisation. Please reach out to the authors for this.
-
Notifications
You must be signed in to change notification settings - Fork 0
Code for Andrew Elkadi's Masters thesis on the Quantum Approximate Optimisation Algorithm for Boolean Satisfiability under Roberto Bondesan.
License
andrewlkd/QAOA-SAT
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code for Andrew Elkadi's Masters thesis on the Quantum Approximate Optimisation Algorithm for Boolean Satisfiability under Roberto Bondesan.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published