navigatie overslaan

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Pakketten / trixie (testing) / Bron / science / sat4j

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Verwijzigingen voor sat4j

Debian bronnen:

• Probleemrapporten
• Developer Information
• Debian Changelog
• Copyright-bestand
• Debian Source Repository (Git)
• Debian Patch Tracker

Beheerders:

• Debian Science Maintainers (QA-pagina, Mailarchief)
• Michael Tautschnig (QA-pagina)

Externe bronnen:

• Homepage [www.sat4j.org]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

sat4j

Efficient library of SAT solvers in Java

Andere aan sat4j gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pakket niet beschikbaar

• adep: ant

  Java based build tool like make

• idep: javahelper

  Helper scripts for packaging Java programs

• idep: default-jdk

  Standard Java or Java compatible Development Kit

• idep: libcommons-cli-java

  Command line arguments and options parsing library

• idep: libcommons-beanutils-java

  Apache Commons BeanUtils - Utility for manipulating Java beans

• idep: rhino

  JavaScript engine written in Java

• idep: junit4

  JUnit regression test framework for Java

• idep: libjmock-java

  Java library for testing code with mock objects

• idep: ant-optional

  Java based build tool like make - optional libraries

• idep: libmockito-java

  mocking framework for Java

• idep: maven-repo-helper

  Helper tools for including Maven metadata in Debian packages

Download sat4j

Bestand	Grootte (in kB)	MD5 checksum
sat4j_2.3.6-1.dsc	2,0 kB	637b6ac63d4186e1389c3b2ec6ea5fe4
sat4j_2.3.6.orig.tar.xz	6.605,7 kB	5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1.debian.tar.xz	16,5 kB	5a4f2090108861f0039aaec02ac7ac43

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/science-team/sat4j.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/science-team/sat4j