Artifact sat4j_2.3.5-0.3_all

Metadata

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: all
  Breaks: eclipse-platform (<= 3.5.2-5)
  Depends: default-jre | java8-runtime | java9-runtime | java10-runtime | java11-runtime,
    jarwrapper (>= 0.5), libcommons-cli-java
  Description: |-
    Efficient library of SAT solvers in Java
     The 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.
  Homepage: http://www.sat4j.org
  Installed-Size: '692'
  Maintainer: Michael Tautschnig <mt@debian.org>
  Package: sat4j
  Priority: optional
  Section: science
  Version: 2.3.5-0.3
srcpkg_name: sat4j
srcpkg_version: 2.3.5-0.3

File

2024-11-24T14:33:56.049543 UTC: BinaryFileWidget failed to render

Relations

Relation	Type	Name
built-using	Source package	sat4j_2.3.5-0.3
built-using	Binary package	dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dpkg_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dselect-dbgsym_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dselect_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	libdpkg-dev_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dpkg-dev_1.22.12~1.gbp82cafd_all
built-using	Binary package	libdpkg-perl_1.22.12~1.gbp82cafd_all
extends	Package upload	sat4j_2.3.5-0.3