thesofakillers / iclingo

🔴🟢🔵 clingo kernel for Jupyter

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.

iclingo's Issues

Add docs

Allow multi-shot solving

see here for open stackoverflow question

Add syntax highlighting

Figure out way to allow users to add config to each cell

so that you can govern number of returned answer sets for example

Make this installable

Add testing

lol