How to Install aspcud in Ubuntu 18.04


Install aspcud by entering the following commands in the terminal:

sudo apt update
sudo apt install aspcud

Description:

CUDF solver based on Answer Set Programming

Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format.

Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/

Version: 1:1.9.4-1

Section: universe/admin