DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamesat4j
BeschreibungEfficient library of SAT solvers in Java
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version2.3.1-1
Sektionscience
Prioritätoptional
Installierte Größe1143 Byte
Hängt ab vondefault-jre | java2-runtime | java5-runtime | java6-runtime, jarwrapper (>= 0.5), libcommons-cli-jav
Empfohlene Pakete
PaketbetreuerMichael Tautschnig
Quelle
Paketgröße997618 Byte
Prüfsumme MD5402ac5ce0271b698ce925cf5b6bec280
Prüfsumme SHA14460a18772fd54ceb01be3df13a9d6678454cee2
Prüfsumme SHA256138d58f257e62d05046d59388e4dc438f05b5509571003dc5acca323ab1ccab8
Link zum Herunterladensat4j_2.3.1-1_all.deb
Ausführliche Beschreibungrole::shared-lib


Impressum
Linux is a registered trademark of Linus Torvalds