Adding a bruteforce QUBO tool for solution checking (not efficient at all).
Merge branch 'master' of https://github.com/hadsed/AdiaQC