Install aspcud by entering the following commands in the terminal:
sudo apt update sudo apt install aspcud
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.