Metadata-Version: 2.1
Name: iclingo
Version: 0.1.1
Summary: 🔴🟢🔵 clingo kernel for Jupyter
Home-page: https://github.com/thesofakillers/iclingo
License: GPL-3.0-only
Keywords: kernel,jupyter,logic-programming,clingo,answer-set-programming,ipykernel
Author: Giulio Starace
Author-email: giulio.starace@gmail.com
Requires-Python: >=3.8,<4.0
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Dist: clingo (>=5.5.1,<6.0.0)
Requires-Dist: ipykernel (>=6.9.1,<7.0.0)
Requires-Dist: single-source (>=0.2.0,<0.3.0)
Project-URL: Repository, https://github.com/thesofakillers/iclingo
Description-Content-Type: text/markdown

# iclingo

🔴🟢🔵 [clingo](https://potassco.org/clingo/) kernel for
[Jupyter](https://jupyter.org/).

## Install

To install, simply run

`pip install iclingo`

## 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/](examples/).

### Limitations

- No syntax highlighting is available
- Currently, no configuration options cannot 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-short solving is not supported

