Linux workstation

openSUSE Tumbleweed native package

sat4j

Uma biblioteca de solucionadores SAT escrita em Java

Packages / openSUSE Tumbleweed / Development/Libraries/Java / sat4j

[Source: sat4j]

Package: sat4j (2.3.5-4.9)

[Project overview: sat4j]

External Resources:

Homepage: [www.sat4j.org]

Uma biblioteca de solucionadores SAT escrita em Java

O objetivo da biblioteca SAT4J é fornecer uma biblioteca eficiente de solucionadores SAT em Java. A biblioteca SAT4J destina-se primeiro aos utilizadores de "caixas negras" SAT, aqueles que pretendem incorporar tecnologias SAT na sua aplicação sem se preocuparem com os detalhes.

Other Packages Related to sat4j:

  • dep: java (>= 1.8)

    Package not available

  • dep: java-headless

    Package not available

  • dep: [javapackages-filesystem]

    Layout do sistema de ficheiros para pacotes Java

Download sat4j

ArchitecturePackage SizeInstalled SizeFiles
noarch533 KiB582 KiB[list of files]

Caminhos de arquivo do pacote (5)

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
  • /usr/share/maven-metadata/sat4j.xml
  • /usr/share/maven-poms/org.sat4j.core.pom
  • /usr/share/maven-poms/org.sat4j.pb.pom

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

Usar este pacote

O OpenFactory pode iniciar este sistema operacional em uma máquina virtual do navegador, ou começar uma construção que inclui o nome nativo do pacote deste registro.

Experimentar openSUSE Tumbleweed no navegadorConstruir uma imagem que inclui sat4j

Versões, suites e repositórios

Cada linha é metadado do índice de pacotes para uma versão, arquitetura, suite e repositório. Nomes, URLs e tamanhos vêm da fonte; um link é um ponto de obtenção mutável, não uma redistribuição da OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.3.5-4.9tumbleweed / ossnoarchopenSUSE Tumbleweed · OSS · multi-architecture533 KiB582 KiBnoarch/sat4j-2.3.5-4.9.noarch.rpm

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

Checksums e datas de observação

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.

Completude do registro

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 Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fontes e proveniência

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 Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    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
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    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