معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for STP constraint solver/decision procedure

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything aarch64
نام بسته	stp-devel
نام فایل بسته	stp-devel-2.3.3-24.fc38.aarch64.rpm
نسخه بسته	2.3.3
انتشار بسته	24.fc38
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sat 21 Jan 2023 08
هاست سازنده	buildvm-a64-24.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://stp.github.io/
مجوز	MIT
حجم دانلود	20K
حجم نصب	50.656K

Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.

جایگزین ها

بسته	نسخه	معماری	مخزن
stp-devel-2.3.3-24.fc38.i686.rpm	2.3.3	i686	Fedora Everything
stp-devel-2.3.3-24.fc38.x86_64.rpm	2.3.3	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	cmake-filesystem(aarch-64)
-	libstp.so.2.3()(64bit)
= 2.3.3-24.fc38	stp(aarch-64)

ارائه دهنده

مقدار	نام
= 2.3.3	cmake(STP)
= 2.3.3	cmake(stp)
= 2.3.3-24.fc38	stp-devel
= 2.3.3-24.fc38	stp-devel(aarch-64)

نحوه نصب

نصب پکیج rpm stp-devel:

dnf install stp-devel-2.3.3-24.fc38.aarch64.rpm

فایل ها

مسیرها
/usr/include/stp
/usr/include/stp/c_interface.h
/usr/lib64/cmake/STP
/usr/lib64/cmake/STP/STPConfig.cmake
/usr/lib64/cmake/STP/STPConfigVersion.cmake
/usr/lib64/cmake/STP/STPTargets-relwithdebinfo.cmake
/usr/lib64/cmake/STP/STPTargets.cmake

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

تاریخ آخرین تغییر	جزئیات
2023-01-21	Add cstdint patch to fix FTBFS
2023-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-14	Add distutils patch Use more specific globs in %files Convert License tags to SPDX
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-13	Rebuilt for Python 3.11
2022-05-04	Rebuilt for Boost 1.78
2022-01-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-07	Rebuilt for Boost 1.76
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-14	Add -private-libs patch to fix bz 1981466
2021-06-04	Rebuilt for Python 3.10
2021-03-30	Remove useless rpaths
2021-01-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-22	Rebuilt for Boost 1.75