Package - aspcud

Package:  aspcud
apt-get install aspcud
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/aspcud/aspcud_1.9.6-2_amd64.deb (Size: 123.3KiB)

PropertyValue
Packageaspcud
Version1:1.9.6-2
Installed-Size430
MaintainerRalf Treinen
Architectureamd64
Providescudf-solver
Dependslibc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
DescriptionCUDF solver based on Answer Set Programming
Description-md5b7ea8294415a8e7e8313a56dfe596eb9
Homepagehttps://potassco.org/aspcud/
Sectionadmin
Priorityoptional
Filenamepool/main/a/aspcud/aspcud_1.9.6-2_amd64.deb
Size126236
MD5sumb6a6dc31b1ca263efab94a61651b2343
SHA256a1cfb18ee53abd3b138b9fc0296097fb616821e85e6e579691123917ef5da2be

Files in package

  • /usr/bin/aspcud
  • /usr/bin/cudf2lp
  • /usr/share/aspcud/misc2012.lp
  • /usr/share/aspcud/specification.lp
  • /usr/share/cudf/solvers/aspcud
  • /usr/share/doc/aspcud/changelog.Debian.gz
  • /usr/share/doc/aspcud/changelog.gz
  • /usr/share/doc/aspcud/copyright
  • /usr/share/doc/aspcud/examples/README.md
  • /usr/share/doc/aspcud/examples/feature.cudf
  • /usr/share/doc/aspcud/examples/install1.cudf
  • /usr/share/doc/aspcud/examples/install2.cudf
  • /usr/share/doc/aspcud/examples/install3.cudf
  • /usr/share/doc/aspcud/examples/install4.cudf
  • /usr/share/doc/aspcud/examples/install5.cudf
  • /usr/share/doc/aspcud/examples/self_conflict.cudf
  • /usr/share/doc/aspcud/examples/upgrade1.cudf
  • /usr/share/man/man1/aspcud.1.gz
  • /usr/share/man/man1/cudf2lp.1.gz