🔴🟢🔵 clingo kernel for Jupyter
Project description
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.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
