minicz / nopt042

Repository for NOPT042 Constraint Programming tutorial

NOPT042 Constraint Programming

Notes and code for the tutorial

Installation

You can install Picat like this (check if there's a newer version of Picat):

cd ~
wget http://picat-lang.org/download/picat328_linux64.tar.gz
tar -xf picat328_linux64.tar.gz

Then add the executable to $PATH (assuming we use bash):

echo 'export PATH="$HOME/Picat:$PATH"' >> ~/.bashrc
source ~/.bashrc

Then the command picat runs the Picat interpreter.

If you want to execute the notebooks, install Jupyter Notebook with ipicat extension (if you want to install them locally, add --user):

pip install jupyter
pip install ipicat

Then run jupyter notebook. Once the extension is loaded you can use %%picat cell magic or execute picat files: %picat -e hello-world.pi.