» Ubuntu » 套件 » questing (25.10) » 原始碼 » science » sat4j
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

原始碼套件: sat4j (2.3.6-1) [universe]

sat4j 的相關超連結

Ubuntu 的資源:

維護者:

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

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (郵件存檔)
  • Michael Tautschnig

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

外部的資源:

本原始碼套件構建了以下這些二進制套件:
sat4j
Efficient library of SAT solvers in Java

其他與 sat4j 有關的套件

  • 完整構建時刻依賴
  • 單獨構建時刻依賴
  • adep: debhelper-compat (= 13)
    套件暫時不可用
  • 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

文件大小(單位: kB)MD5 檢查碼
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 套件原始碼倉庫(VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Debian 套件原始碼倉庫(可在線瀏覽)
https://salsa.debian.org/science-team/sat4j