On Fri, Jan 11, 2019 at 06:13:53PM -0500, Amin Bandali wrote:
> From 2cd82564402e4363db581bde066766d779b6af1a Mon Sep 17 00:00:00 2001
> From: Amin Bandali <bandali@gnu.org>
> Date: Fri, 11 Jan 2019 18:08:42 -0500
> Subject: [PATCH] gnu: z3: Update to 4.8.4.
> 
> * gnu/packages/maths.scm (z3): Update to 4.8.4.

Thanks!

I tested this patch and found that arachne-pnr fails its test suite
after upgrading z3.

Can you take a look?