Dario Petrillo

Starting with version 2.34, glibc [removed symlinks from .deb packages](https://github.com/bminor/glibc/blob/9e5c991106cb04b489272de0ef6a7a6bcef50477/NEWS#L700): ``` * Previously, glibc installed its various shared objects under versioned file names such as libc-2.33.so. The ABI sonames (e.g.,...

Exposing application parameters

1

It would be useful to expose application parameters, such as the `high` and `low` limits of a `Z3_OP_EXTRACT`. The python bindings expose them with a [`params()` method on `FuncDeclRef`](https://github.com/Z3Prover/z3/blob/master/src/api/python/z3/z3.py#L791), which...

Per the title, the link to Ref::map_split in fourth-iteration.md was broken.