Design Space Exploration UI

src/RunDSE.java

src/dseengine/DSEConfiguration.java

src/ui/MainGUI.java

src/ui/images/dse.png

src/ui/images/tmlkey.gif

src/ui/window/DSEConfiguration.java

src/ui/window/JDialogDSE.java

src/ui/window/JDialogProVerifGeneration.java