Linux workstation

openSUSE Leap 15.6 native package

sat4j

Бібліотека SAT-розв'язувачів, написана мовою Java

Packages / openSUSE Leap 15.6 / Development/Libraries/Java / sat4j

[Source: sat4j]

Package: sat4j (2.3.5-150200.3.4.4)

[Project overview: sat4j]

External Resources:

Homepage: [www.sat4j.org]

Бібліотека SAT-розв'язувачів, написана мовою Java

Мета бібліотеки SAT4J — надати ефективну бібліотеку SAT-розв'язувачів мовою Java. Бібліотека SAT4J насамперед орієнтована на користувачів SAT «чорних скриньок», які хочуть вбудувати технології SAT у свій застосунок, не переймаючись деталями.

Other Packages Related to sat4j:

  • dep: java (>= 1.8)

    Package not available

Download sat4j

ArchitecturePackage SizeInstalled SizeFiles
noarch530 KiB573 KiB[list of files]

Шляхи файлів пакета (2)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/share/java/org.sat4j.core.jar
  • /usr/share/java/org.sat4j.pb.jar

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати openSUSE Leap 15.6 у браузеріЗібрати образ, що містить sat4j

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.3.5-150200.3.4.4leap-15.6 / ossnoarchopenSUSE Leap 15.6 · OSS · multi-architecture530 KiB573 KiBnoarch/sat4j-2.3.5-150200.3.4.4.noarch.rpm

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Контрольні суми й дати спостереження

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2.3.5-150200.3.4.4 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 907cf0c193bde3dd2842fb614852dc731938971e882bab9180dff45808ffb36da87e78a772cd90b9a35f820cef36327513d9ebf97649b04dd05cef667be86025

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Повнота запису каталогу

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Джерела та походження

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • openSUSE Leap 15.6 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

sat4j Package for openSUSE Leap 15.6 | OpenFactory