Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Thomas Krennwallner >> Publications > ASP+Debian

Tools: Drucken


Answer Set Programming Systems for Debian/Ubuntu


News:

  1. clasp, gringo, coala, runlim are now part of Ubuntu 11.10.
  2. clasp, gringo, coala, runlim, depqbf are now part of Debian Unstable.

This is the webpage of the Launchpad personal package archives (PPA) of non-official Debian/Ubuntu packages for ASP systems like clasp, dlv, smodels, etc. They are compiled on the Launchpad build farm for i386 and amd64 machines on Ubuntu Oneiric Ocelot (11.10), Natty Narwhal (11.04), Ubuntu Maverick Meerkat (10.10), and Lucid Lynx (10.04), but should work on Ubuntu Karmic Koala (9.10) or Debian Squeeze (testing) as well. The debianized packages are hosted at the ASP systems bazaar repository.

Recently, some packages have been accepted into Debian, which will be synced with upcoming Ubuntu releases.

Currently, the following packages are contained in the PPA repository:

  1. asperix (see ASPeRiX)
  2. clasp (see clasp)
  3. claspd (see claspD)
  4. clingo (see Potassco)
  5. coala (see coala)
  6. dlv-installer (see DLV)
  7. dlvhex (see DLVHEX)
  8. dlvhex-aggregateplugin (see DLVHEX)
  9. dlvhex-dlplugin (see DLVHEX)
  10. dlvhex-doc (see DLVHEX)
  11. dlvhex-mcsieplugin (see DLVHEX)
  12. dlvhex-scriptplugin (see DLVHEX)
  13. dlvhex-stringplugin (see DLVHEX)
  14. dlvhex-wordnetplugin (see DLVHEX)
  15. gnt (see GnT)
  16. gringo (see Potassco)
  17. iclingo (see Potassco)
  18. libaspsolver2 (see DLVHEX)
  19. libaspsolver2-dev (see DLVHEX)
  20. libdlvhexbase6 (see DLVHEX)
  21. libdlvhexbase6-dev (see DLVHEX)
  22. lparse (see lparse)
  23. lparse-guide (see lparse)
  24. potassco-guide (see Potassco)
  25. relsat (see relsat)
  26. runlim (see runlim)
  27. smodels (see smodels)
  28. smodels-ie (see smodels-ie)
  29. sup-lp (see sup)

Are you a developer of an ASP system other than the above? Feel free to contact me for debianizing it.

Setup and Installation (GUI)

Setup your Ubuntu system as follows:

  1. Go to System -> Administration -> Software Sources.
  2. Type in your password and then open the "Other Software" tab. Click on "Add..." and put
    ppa:tkren/asp
    into the "APT Line" entry field. Click on "Add Source" to add the ASP systems repository.

You can now search and install the packages using the Synaptic Package Manager or Ubuntu Software Center.

Setup and Installation (command line)

Alternatively, command line aficionados can simply run

$ sudo add-apt-repository ppa:tkren/asp

Now you are ready to update your package list. For this, invoke

$ sudo apt-get update

and then run

$ sudo apt-get install dlv-installer

to install dlv,

$ sudo apt-get install clasp claspd gringo clingo iclingo potassco-guide

to install the whole Potassco suite, or

$ sudo apt-get install smodels lparse lparse-guide

to install the smodels suite.

$Id: deb.html 7750 2011-10-19 11:56:47Z tkren $


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.