diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-09-02 04:15:20 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-09-02 04:19:11 -0500 |
| commit | 54ae0aa1b08efbb82d76dbe5601e06cf7dc7a8b1 (patch) | |
| tree | 0389c39abd7fd788f00758f2505c158844375551 /doc/languages-frameworks | |
| parent | 583ebc086c64d6456af8e6d960377d0693ffc8a2 (diff) | |
z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be removed. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'doc/languages-frameworks')
0 files changed, 0 insertions, 0 deletions