معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for STP constraint solver/decision procedure

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	stp-devel
نام فایل بسته	stp-devel-2.3.3-22.fc37.x86_64.rpm
نسخه بسته	2.3.3
انتشار بسته	22.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sat 23 Jul 2022 02
هاست سازنده	buildvm-x86-20.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://stp.github.io/
مجوز	MIT
حجم دانلود	20K
حجم نصب	50.019K

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-22.fc37.aarch64.rpm	2.3.3	aarch64	Fedora Everything
stp-devel-2.3.3-22.fc37.i686.rpm	2.3.3	i686	Fedora Everything

نیازمندی

مقدار	نام
-	cmake-filesystem(x86-64)
-	libstp.so.2.3()(64bit)
= 2.3.3-22.fc37	stp(x86-64)

ارائه دهنده

مقدار	نام
= 2.3.3	cmake(STP)
= 2.3.3	cmake(stp)
= 2.3.3-22.fc37	stp-devel
= 2.3.3-22.fc37	stp-devel(x86-64)

نحوه نصب

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

dnf install stp-devel-2.3.3-22.fc37.x86_64.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

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

تاریخ آخرین تغییر	جزئیات
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
2020-11-27	Rebuild for cryptominisat 5.8.0
2020-08-01	Second attempt - Rebuilt for
2020-07-29	Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild