NixOS/nixpkgs — pull request #1944 by thoughtpolice (2014-03-14 11:13:21+00:00)
Title: z3: version 4.3.1

This adds the Z3 SMT solver. It also should install proper python packages (it has a stupid `make install` step I had to work around).