MiniZinc progrrams to Quadratic Unconstraned Binary Optimization poblems

[Armin Wolf]

Dear all,

if your are interested to solve your MiniZinc program using Quantum Computing

you can use the following service https://minizinc2qubo.fokus.fraunhofer.de/ to

transform your MiniZinc program into a QUBO matrix representation and to evaluate
your 0/1 solution vector in MiniZinc.

On the web page there is the 4-Queens problem as an example with a valid solution vector.
If you delete the solution vector the QUBO matrix is generated, if not, the MiniZinc solution
is returned. You can use different binary encodings for the QUBO matrix generation.

Have fun!

Feedback is welcome!

Cheers, Armin