Generating/managing SAT instances and providing backends to solve them on various QPU architectures. - View it on GitHub