Installation¶
Clorm requires Python 3.7+ and Clingo 5.4+ (as of writing Clingo 5.5.0 is the latest version). There are many ways to install Clorm. In order of simplicity, it can be installed using pip, conda, from the Potassco PPA (for Ubuntu users), and finally from source.
Installing from a Python package manager¶
The pip package can be installed from PyPI:
$ pip install clorm
For conda installation, assuming you have already installed some variant of Anaconda, first you need to install Clingo:
$ conda install -c potassco clingo
Then install Clorm:
$ conda install -c potassco clorm
Installing from the Potassco PPA¶
Ubuntu users can install Clorm (and Clingo) from the Potassco PPA:
$ sudo add-apt-repository ppa:potassco/stable
$ sudo apt-get update
$ sudo apt install python3-clorm
Note
Unfortunately, the Clingo Ubuntu packages from the standard Ubuntu repository
do not work correctly with Python. Even though the clingo
executable has
been compiled with Python support, the Clingo Python module itself is missing
from these packages.
Installing from source¶
The project is hosted on github at https://github.com/potassco/clorm and can also be installed using git:
$ git clone https://github.com/potassco/clorm
$ cd clorm
$ pip install . # or `python setup.py install` if you don't have pip
Note
The above instructions for installing from source assumes that you have already installed a version of Clingo that has been compiled with Python support, as well as the Python Clingo module.
For instructions on compiling and installing Clingo see: https://github.com/potassco/clingo/blob/master/INSTALL.md