diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-11-06 23:29:03 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-11-09 13:20:01 -0600 |
| commit | 063e4dca79922e1119b198b7810d294e8999395a (patch) | |
| tree | 9f93bc7eb1f4a41f4d5d5daa2b690ff1108186a9 /pkgs/development/python-modules/httpserver | |
| parent | a38765215963b1fb4c6beb394fffc5c87282a478 (diff) | |
z3: update to latest git
This has some nice improvements, like new string and real arithmetic solvers.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions