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:
Are you a developer of an ASP system other than the above? Feel free to contact me for debianizing it.
Setup your Ubuntu system as follows:
ppa:tkren/aspinto 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.
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.