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 squeeze (main)
Version2.2.0-3
Sektionscience
Prioritätoptional
Installierte Größe652 Byte
Hängt ab vondefault-jre | java2-runtime | java5-runtime | java6-runtime, jarwrapper (>= 0.5)
Empfohlene Pakete
PaketbetreuerMichael Tautschnig
Quelle
Paketgröße522792 Byte
Prüfsumme MD5366f9f4481d4d7a005f3a7fc73dce9b7
Prüfsumme SHA1dd5709281553ad74fc58ab675023b82b8bd99470
Prüfsumme SHA2566099884508d70dc9d7727678bcf192666157fb6a30ecd620a06837e6010651d6
Link zum Herunterladensat4j_2.2.0-3_all.deb
Ausführliche BeschreibungThe aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers.


Impressum
Linux is a registered trademark of Linus Torvalds