Installion's Lion Logo

Installion.co.uk

How To Install aspcud On Debian 9

To install aspcud just follow these instructions.

Install aspcud

CUDF solver based on Answer Set ProgrammingDebian 9.0admin1:1.9.1-2+b1
sudo apt-get install aspcud

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

Package Data

Packageaspcud
Version1:1.9.1-2+b1
MaintainerRalf Treinen <treinen@debian.org>
Home pagehttp://www.cs.uni-potsdam.de/wv/aspcud/
DescriptionCUDF solver based on Answer Set Programming
Distrodebian
Releasestretch
Repomain
Sectionadmin

Dependencies