stp: revision bump (cryptominisat 5.14.2)

Author: cho-m

Formula/s/stp.rb

@@ -2,7 +2,7 @@ class Stp < Formula
   desc "Simple Theorem Prover, an efficient SMT solver for bitvectors"
   homepage "https://stp.github.io/"
   license "MIT"
-  revision 8
+  revision 9
   head "https://github.com/stp/stp.git", branch: "master"
 
   stable do