Add option for prop-simplify to use minisat
Backup commit