German

### Describe the bug Currently when installing it with pip it does not produce any type of error, but I consider that it is not good practice to define it...

[ICON REQUEST]: Z3 Solver

7

### I have searched through the issues and didn't find my problem. - [X] Confirm ### About the icon Z3 an efficient SMT solver ### Links and sources https://www.microsoft.com/en-us/research/project/z3-3/ https://github.com/z3prover/z3...

Fix PyPiVersionRange working with * and ~=

1

Fix the problem with the ~= operator and the versions ending in *, exposed in the [issue](https://github.com/nexB/univers/issues/26).

Context: https://go-tour-lat.appspot.com/basics/9 The description of this basic says: `A var declaration can include initializers, one per variable. If an initializer is present, the type can be omitted; the variable will...