Skip to content

thesofakillers/iclingo

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

48 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

iclingo

Compatible python versions build workflow badge PyPI version

πŸ”΄πŸŸ’πŸ”΅ 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.