cudf2lp

CUDF solver based on Answer Set Programming

Install

All systems
curl cmd.cat/cudf2lp.sh
Debian Debian
apt-get install aspcud
Ubuntu
apt-get install aspcud
Alpine
apk add aspcud
Arch Arch Linux
pacman -S aspcud
image/svg+xml Kali Linux
apt-get install aspcud
Windows (WSL2)
sudo apt-get update sudo apt-get install aspcud
OS X
brew install aspcud
Raspbian
apt-get install aspcud
Docker
docker run cmd.cat/cudf2lp cudf2lp powered by Commando

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.