Start of proving solver
Merge branch 'master' of github.com:alex1770/QUBO-Chimera
Added exhaust2 based on restricted subset method