Solving the GCHQ Christmas Challenge with Microsoft Z3 #1 Post by ZetaTwo » Mon, Dec 14, 2015, 8:17 PM UTC Solving the GCHQ Christmas Challenge with Microsoft Z3zeta-two.com