z3-doc rpm build for : Mageia Cauldron. For other distributions click z3-doc.
| Name : z3-doc
| |
| Version : 4.12.4
| Vendor : Mageia_Org
|
| Release : 1.mga10
| Date : 2023-12-30 07:26:43
|
| Group : Sciences/Mathematics
| Source RPM : z3-4.12.4-1.mga10.src.rpm
|
| Size : 23.36 MB
| |
| Packager : daviddavid < daviddavid>
| |
| Summary : API documentation for Z3
|
Description :
API documentation for Z3.
|
RPM found in directory: /vol/rzm3/linux-mageia/distrib/cauldron/i586/media/core/release |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
z3-doc
z3-doc(x86-32)
Requires :
Content of RPM :
/usr/share/doc/z3-doc
/usr/share/doc/z3-doc/examples
/usr/share/doc/z3-doc/examples/CMakeLists.txt
/usr/share/doc/z3-doc/examples/SMT-LIB2
/usr/share/doc/z3-doc/examples/SMT-LIB2/boundedmodelchecking
/usr/share/doc/z3-doc/examples/SMT-LIB2/boundedmodelchecking/bubble_sort.smt2
/usr/share/doc/z3-doc/examples/SMT-LIB2/boundedmodelchecking/loop_unrolling.smt2
/usr/share/doc/z3-doc/examples/SMT-LIB2/boundedmodelchecking/loop_unrolling_bitvec.smt2
/usr/share/doc/z3-doc/examples/c
/usr/share/doc/z3-doc/examples/c++
/usr/share/doc/z3-doc/examples/c++/CMakeLists.txt
/usr/share/doc/z3-doc/examples/c++/README
/usr/share/doc/z3-doc/examples/c++/example.cpp
/usr/share/doc/z3-doc/examples/c/CMakeLists.txt
/usr/share/doc/z3-doc/examples/c/README
/usr/share/doc/z3-doc/examples/c/test_capi.c
/usr/share/doc/z3-doc/examples/dotnet
/usr/share/doc/z3-doc/examples/dotnet/CMakeLists.txt
/usr/share/doc/z3-doc/examples/dotnet/Program.cs
/usr/share/doc/z3-doc/examples/dotnet/README
/usr/share/doc/z3-doc/examples/dotnet/dotnet.csproj
/usr/share/doc/z3-doc/examples/java
/usr/share/doc/z3-doc/examples/java/JavaExample.java
/usr/share/doc/z3-doc/examples/java/JavaGenericExample.java
/usr/share/doc/z3-doc/examples/java/README
/usr/share/doc/z3-doc/examples/maxsat
/usr/share/doc/z3-doc/examples/maxsat/CMakeLists.txt
/usr/share/doc/z3-doc/examples/maxsat/README
/usr/share/doc/z3-doc/examples/maxsat/ex.smt
/usr/share/doc/z3-doc/examples/maxsat/maxsat.c
There is 952 files more in these RPM.
