Added the ability to get the solution out of depqbf
Merge pull request #7 from DanielWaterworth/master

Added the ability to get the solution out of depqbf