Moved Minisat solver in a separate sub-folder. Adjusted build accordingly
Removed unused class
minor
Clearer comment
Either fix it or break it
Build fixes
(temp) show witness after simulation
removed useless dep