iclingo

🔴🟢🔵 clingo kernel for Jupyter.

Install

To install, simply run

pip install iclingo
python -m iclingo.install

Usage

Once installed, you can run clingo code directly in jupyter, alongside typical jupyter functionality such as markdown cells. An example of this is available in examples/.

Limitations

• No syntax highlighting is available
• Currently, no configuration options can be passed to a given cell. This means that the default clingo options are used, such that for a problem with multiple answers, only the first answer is shown.
• Multi-shot solving is not supported

Development

This repository is mostly based on the documentation presented in Making simple Python wrapper kernels.

We use poetry to track dependencies and build our package.

GitHub Actions are then used for automatic publishing to PyPi upon pushes of git tags to the repository.

When ready to publish the latest commit, simply run the following:

git tag $(poetry version --short)
git push --tags

Pull requests and contributions are more than welcome. Please refer to the relevant page.