Download Test Pattern Generation Using Boolean Proof Engines