Parse mk_bool_var instead.
Update SAT bench script accordingly.
REmove pointless file.
Merge branch 'master' of github.com:switicus/smt_research