A tool for the automatic generation and combination of QUBO formulations for specific problem classes.