معرفی شرکت ها


kissat-3.0.0-3.fc38.aarch64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Keep It Simple SAT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته kissat
نام فایل بسته kissat-3.0.0-3.fc38.aarch64.rpm
نسخه بسته 3.0.0
انتشار بسته 3.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 06
هاست سازنده buildhw-a64-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/kissat/
مجوز MIT
حجم دانلود 24K
حجم نصب 198.988K
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.0.0-3.fc38.src.rpm 3.0.0 i686 Fedora Everything
kissat-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-3.1.0-1.fc38.src.rpm 3.1.0 i686 Fedora Everything
kissat-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything
kissat-debuginfo-3.0.0-3.fc38.aarch64.rpm 3.0.0 aarch64 Fedora Everything
kissat-debuginfo-3.0.0-3.fc38.i686.rpm 3.0.0 i686 Fedora Everything
kissat-debuginfo-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-debuginfo-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-debuginfo-3.1.0-1.fc38.i686.rpm 3.1.0 i686 Fedora Everything
kissat-debuginfo-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything
kissat-debugsource-3.0.0-3.fc38.aarch64.rpm 3.0.0 aarch64 Fedora Everything
kissat-debugsource-3.0.0-3.fc38.i686.rpm 3.0.0 i686 Fedora Everything
kissat-debugsource-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-debugsource-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-debugsource-3.1.0-1.fc38.i686.rpm 3.1.0 i686 Fedora Everything
kissat-debugsource-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything
kissat-devel-3.0.0-3.fc38.aarch64.rpm 3.0.0 aarch64 Fedora Everything
kissat-devel-3.0.0-3.fc38.i686.rpm 3.0.0 i686 Fedora Everything
kissat-devel-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-devel-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-devel-3.1.0-1.fc38.i686.rpm 3.1.0 i686 Fedora Everything
kissat-devel-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything
kissat-libs-3.0.0-3.fc38.aarch64.rpm 3.0.0 aarch64 Fedora Everything
kissat-libs-3.0.0-3.fc38.i686.rpm 3.0.0 i686 Fedora Everything
kissat-libs-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-libs-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-libs-3.1.0-1.fc38.i686.rpm 3.1.0 i686 Fedora Everything
kissat-libs-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything
kissat-libs-debuginfo-3.0.0-3.fc38.aarch64.rpm 3.0.0 aarch64 Fedora Everything
kissat-libs-debuginfo-3.0.0-3.fc38.i686.rpm 3.0.0 i686 Fedora Everything
kissat-libs-debuginfo-3.0.0-3.fc38.x86_64.rpm 3.0.0 x86_64 Fedora Everything
kissat-libs-debuginfo-3.1.0-1.fc38.aarch64.rpm 3.1.0 aarch64 Fedora Everything
kissat-libs-debuginfo-3.1.0-1.fc38.i686.rpm 3.1.0 i686 Fedora Everything
kissat-libs-debuginfo-3.1.0-1.fc38.x86_64.rpm 3.1.0 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 3.0.0-3.fc38 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.0.0-3.fc38 kissat
= 3.0.0-3.fc38 kissat(aarch-64)


نحوه نصب


نصب پکیج rpm kissat:

    dnf install kissat-3.0.0-3.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/bin/kissat
/usr/lib/.build-id
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/65060044debb79712c05b670765b52aaf2517e


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

تاریخ آخرین تغییر جزئیات
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

2021-07-22

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

2021-07-17

Version sc2021

2021-01-26

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