معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

API documentation for Z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	z3-doc
نام فایل بسته	z3-doc-4.11.2-1.fc37.aarch64.rpm
نسخه بسته	4.11.2
انتشار بسته	1.fc37
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Mon 05 Sep 2022 12
هاست سازنده	buildvm-a64-06.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT AND GPL-3.0-or-later WITH Bison-exception-2.2
حجم دانلود	2.7M
حجم نصب	22.832M

API documentation for Z3.

جایگزین ها

بسته	نسخه	معماری	مخزن
z3-doc-4.11.2-1.fc37.x86_64.rpm	4.11.2	x86_64	Fedora Everything
z3-doc-4.11.2-2.fc37.aarch64.rpm	4.11.2	aarch64	Fedora Everything
z3-doc-4.11.2-2.fc37.x86_64.rpm	4.11.2	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 4.11.2-1.fc37	z3-doc
= 4.11.2-1.fc37	z3-doc(aarch-64)

نحوه نصب

نصب پکیج rpm z3-doc:

dnf install z3-doc-4.11.2-1.fc37.aarch64.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/bounded model checking
/usr/share/doc/z3-doc/examples/SMT-LIB2/bounded model checking/bubble_sort.smt2
/usr/share/doc/z3-doc/examples/SMT-LIB2/bounded model checking/loop_unrolling.smt2
/usr/share/doc/z3-doc/examples/SMT-LIB2/bounded model checking/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
/usr/share/doc/z3-doc/examples/ml
/usr/share/doc/z3-doc/examples/ml/README
/usr/share/doc/z3-doc/examples/ml/ml_example.ml
/usr/share/doc/z3-doc/examples/msf
/usr/share/doc/z3-doc/examples/msf/README
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/App.config
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/Properties
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/Properties/AssemblyInfo.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverFoundation.Plugin.Z3.Tests.csproj
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/App.config
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Properties
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Properties/AssemblyInfo.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/SolverFoundation.Plugin.Z3.csproj
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Utils.cs
/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs
... and 1035 more

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2022-09-04	Version 4.11.2
2022-08-19	Version 4.11.0 Clarify license of the doc subpackage
2022-08-08	Version 4.10.2
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-28	Do not support Java on i686 (rhbz#2104112) Use new OCaml macros
2022-06-20	Rebuilt for Python 3.11
2022-06-18	OCaml 4.14.0 rebuild
2022-06-13	Rebuilt for Python 3.11
2022-05-16	Version 4.8.17 Drop upstreamed -ambiguous-overload patch
2022-03-24	Add -ambiguous-overload patch to fix cppcheck build failure
2022-03-21	Version 4.8.15
2022-02-05	Rebuilt for java-17-openjdk as system jdk
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-24	Version 4.8.14 Conditionalize the %check script
2021-11-19	Version 4.8.13