Home > Repository > base > z3

z3: A theorem prover from Microsoft Research

Z3 is a theorem prover from Microsoft Research.
Nome:z3
Versione: 4.13.4-1mamba
Gruppo:System/Libraries
Manutentore:silvan
Licenza:MIT
Dimensione:4.47 MB
URL di origine:https://github.com/Z3Prover
Data di compilazione:2024-12-17 20:52:22
Pacchetti binari e dipendenze
x86_64aarch64i586
RPM creatilibz3
libz3-devel
z3
z3-debug
libz3
libz3-devel
z3
z3-debug
libz3
libz3-devel
z3
z3-debug
Dipendenze di compilazionecmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
cmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
cmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
Cronologia delle modifiche
DataPackagerVersioneDescrizione
2024-12-17Automatic Build System 4.13.4-1mamba- automatic version update by autodist
2024-10-12Automatic Build System 4.13.3-1mamba- automatic version update by autodist
2024-10-05Automatic Build System 4.13.2-1mamba- automatic version update by autodist
2024-03-08Automatic Build System 4.13.0-1mamba- automatic version update by autodist
2024-02-27Automatic Build System 4.12.6-1mamba- automatic version update by autodist
2024-01-22Automatic Build System 4.12.5-1mamba- automatic version update by autodist
2023-12-07autodist4.12.4-1mamba- automatic version update by autodist
2023-12-06autodist4.12.3-1mamba- automatic version update by autodist
2023-05-13autodist4.12.2-1mamba- automatic version update by autodist
2023-01-22autodist4.12.1-1mamba- automatic version update by autodist