Minisat Source Added
Code/output cleanedup
Added name to gfile
Counter Enumeration added and working with minisat
Argument parameters are updated
Scripts added renamed and moved to a central location