Generating/managing SAT instances and providing backends to solve them on various QPU architectures.
Repository from Github https://github.comcmu-sei/sat2qpuRepository from Github https://github.comcmu-sei/sat2qpu