#16 Enhanced VIZ GUI

[Juan Pablo Galeotti]

A menu is needed with the following items:

File
-> Open
-> Reload
-> Quit

Execute
-> ... every command presented in the current file

Options
-> Change Loop unroll: <3>
-> Strict unrolling
-> SAT Solver: <Minisat> -> Berkmin
-> Minisat
-> Minisat with Unsat Core
-> ZChaff
-> SAT4J