» Ubuntu » Pakiety » stonking » Źródło » science » sat4j
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Pakiet źródłowy: sat4j (2.3.6-1build1) [universe]

Odnośniki dla sat4j

Zasoby systemu Ubuntu:

Opiekun:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
sat4j
Efficient library of SAT solvers in Java

Inne pakiety związane z sat4j

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Pakiet niedostępny
  • 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

PlikRozmiar (w KiB)Suma kontrolna MD5
sat4j_2.3.6.orig.tar.xz 6 605,7 KiB 5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1build1.debian.tar.xz 16,6 KiB 45e8d0b74fb833321ad45219fa745680
sat4j_2.3.6-1build1.dsc 2,0 KiB f7e7e62f14b93edeb65604563302fafb
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/science-team/sat4j