The model checking algorithm IC3 / PDR using minisat as the underlying SAT-solver