made minisat wrapper code
reworked clauseToIntString
renamed variables to CamelCase