معرفی شرکت ها

kissat-3.1.1-1.fc39.aarch64.rpm

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Keep It Simple SAT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته kissat
نام فایل بسته kissat-3.1.1-1.fc39.aarch64.rpm
نسخه بسته 3.1.1
انتشار بسته 1.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat Sep 16 00
هاست سازنده buildvm-a64-17.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/kissat/
مجوز MIT
حجم دانلود 25K
حجم نصب 198.776K
KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish. This package contains a command-line interface to KISSAT.


جایگزین ها

بسته نسخه معماری مخزن
kissat-3.1.1-1.fc39.src.rpm 3.1.1 i686 Fedora Everything
kissat-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything
kissat-debuginfo-3.1.1-1.fc39.aarch64.rpm 3.1.1 aarch64 Fedora Everything
kissat-debuginfo-3.1.1-1.fc39.i686.rpm 3.1.1 i686 Fedora Everything
kissat-debuginfo-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything
kissat-debugsource-3.1.1-1.fc39.aarch64.rpm 3.1.1 aarch64 Fedora Everything
kissat-debugsource-3.1.1-1.fc39.i686.rpm 3.1.1 i686 Fedora Everything
kissat-debugsource-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything
kissat-devel-3.1.1-1.fc39.aarch64.rpm 3.1.1 aarch64 Fedora Everything
kissat-devel-3.1.1-1.fc39.i686.rpm 3.1.1 i686 Fedora Everything
kissat-devel-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything
kissat-libs-3.1.1-1.fc39.aarch64.rpm 3.1.1 aarch64 Fedora Everything
kissat-libs-3.1.1-1.fc39.i686.rpm 3.1.1 i686 Fedora Everything
kissat-libs-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything
kissat-libs-debuginfo-3.1.1-1.fc39.aarch64.rpm 3.1.1 aarch64 Fedora Everything
kissat-libs-debuginfo-3.1.1-1.fc39.i686.rpm 3.1.1 i686 Fedora Everything
kissat-libs-debuginfo-3.1.1-1.fc39.x86_64.rpm 3.1.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 3.1.1-1.fc39 kissat-libs(aarch-64)
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libkissat.so.0()(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 3.1.1-1.fc39 kissat
= 3.1.1-1.fc39 kissat(aarch-64)


نحوه نصب


نصب پکیج rpm kissat:

    dnf install kissat-3.1.1-1.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/bin/kissat
/usr/lib/.build-id
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/da2454c6e958a9ba691e017962f245ac1dc7d8


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

تاریخ آخرین تغییر جزئیات
2023-09-15

Version 3.1.1

2023-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

2023-07-18

Version 3.1.0

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-06

Version 3.0.0

2022-01-28

Work around package-notes breakage
Adapt to a drat-trim change

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild