A framework for the automatic generation of QUBO formulations for optimization problems.
cda-tum/mqt-qubomaker