janhaag/PSE2011 — Issue #30: [Feature Request] Add "Browse" window for verifier path in settings
Author: syras
Created: 2012-02-26 11:38:20+00:00
State: open

I'd be much easier to find the correct path to the Z3 executable file with a "browse" window.