Artifact cadical_1.7.4-1+b1_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
  Description: |-
    Simplified Satisfiability Solver
     CaDiCaL is a CDCL solver that is easy to understand and change, while at the
     same time not being much slower than other state-of-the-art CDCL solvers.
     .
     This package contains binaries needed to use CaDiCaL as a stand-alone
     tool.
  Homepage: http://fmv.jku.at/cadical/
  Installed-Size: '1845'
  Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
  Package: cadical
  Priority: optional
  Section: math
  Source: cadical (1.7.4-1)
  Version: 1.7.4-1+b1
srcpkg_name: cadical
srcpkg_version: 1.7.4-1

File

cadical_1.7.4-1+b1_amd64.deb
Binary file cadical_1.7.4-1+b1_amd64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package cadical_1.7.4-1

binary package System mirror sid from https://deb.debian.org/debian - 1 day, 16 hours ago 0 minutes
BETA