Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

181 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

QAOA-SAT

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.

About

Code for Andrew Elkadi's Masters thesis on the Quantum Approximate Optimisation Algorithm for Boolean Satisfiability under Roberto Bondesan.

Resources

Stars

1 star

Watchers

1 watching

Forks

Releases

Packages

Used by

Contributors

Languages