Closed domoritz closed 2 years ago
I met the same error messages for the 2 commands on Ubuntu 18.04.5 LTS (GNU/Linux 4.15.0-143-generic x86_64). I'm using a conda environment with Python 3.7.13.
$ conda install -c potassco plingo
$ pip install plingo
I succeeded in installing this package from the source but met another error message.
$ plingo examples/lpmln/birds.plp --frontend lpmln-alt
*** ERROR: (plingo): In context '<plingo>': unknown option: 'frontend'
*** Info : (plingo): Try '--help' for usage information
Hey, sorry for the late reply. The following two commands should be working soon...
$ conda install -c potassco plingo
$ pip install plingo
Until then, the package can be installed with (I am not sure about the conda command at the moment)
pip install --extra-index-url https://test.pypi.org/simple/ --upgrade plingo-solver
When installing like this the --frontend
option should also work
The release package are out now. To install development packages you can use (including @nrueh suggestion):
# conda
conda install -c potassco/label/dev plingo
# pip
pip install --extra-index-url https://test.pypi.org/simple/ --upgrade plingo-solver
# ubuntu
sudo add-apt-repository ppa:potassco/wip
sudo apt install python3-plingo
And for releases:
# conda
conda install -c potassco plingo
# pip
pip install --upgrade plingo
# ubuntu
sudo add-apt-repository ppa:potassco/stable
sudo apt install python3-plingo
This is with Python 3.10.4 in a condo environment. I am on an M1 Mac.