Installion's Lion Logo

Installion.co.uk

How To Install clasp On Debian 8

To install clasp just follow these instructions.

Install clasp

conflict-driven nogood learning answer set solverDebian 8.0interpreters3.1.0-1
sudo apt-get install clasp

Which will install clasp and any other packages on which it depends.

Package Data

Packageclasp
Version3.1.0-1
MaintainerDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Home pagehttp://www.cs.uni-potsdam.de/clasp/
Descriptionconflict-driven nogood learning answer set solver
Distrodebian
Releasejessie
Repomain
Sectioninterpreters

Dependencies