cudf2lp
CUDF solver based on Answer Set Programming
Install
- All systems
-
curl cmd.cat/cudf2lp.sh
- Debian
-
apt-get install aspcud
- Ubuntu
-
apt-get install aspcud
- Alpine
-
apk add aspcud
- Arch Linux
-
pacman -S aspcud
- 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
- Dockerfile
- dockerfile.run/cudf2lp
- 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.