https://github.com/kasteph/clingo-notebook

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
https://github.com/kasteph/clingo-notebook

answer-set-programming clingo docker potassco

Last synced: 21 days ago
JSON representation

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

• Host: GitHub
• URL: https://github.com/kasteph/clingo-notebook
• Owner: kasteph
• License: gpl-3.0
• Created: 2021-01-05T21:21:30.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-02-12T10:25:22.000Z (almost 4 years ago)
• Last Synced: 2024-12-07T12:02:50.795Z (27 days ago)
• Topics: answer-set-programming, clingo, docker, potassco
• Language: Dockerfile
• Homepage:
• Size: 25.4 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# clingo-notebook 📒

A docker image with [clingo](https://github.com/potassco/clingo), Jupyter, and

conda installed.

But why make this notebook if clingo has conda as a dependency anyway? 🤔

This is made for people who do not use conda primarily as their Python package

manager (such as myself) or for software developers who do not use Python

extensively but are probably serial docker users.

## Installation

[Install docker](https://docs.docker.com/get-docker/) if you have not already.

With docker installed:

```

docker pull stephsamson/clingo

```

## Quickstart

In your project workspace (such as `~/code/asp`, for example), run:

``` 

docker run --rm -p 8888:8888 -v "$PWD":/home/jovyan/work stephsamson/clingo

```

A Jupyter notebook link will appear on your terminal; copy and paste this link

onto your browser. Your project workspace will be under `/work` in the Jupyter

notebook tree.

Before you run a cell in a Jupyter notebook, make sure that you have the

following to run cell magic:

``` 

%%clingo -V0 0

```

... so it should look like this:

![](assets/cell.png)

To enable verbose mode in cell magic, simply use the following cell magic:

```

%%clingo 0

```

And that's it! 💫 

### No Notebook

If you don't need a notebook because you simply want to run the `.lp` file from

your project workspace:

```

# assumes dir has .lp files

docker run --rm -it -v "$PWD":/home/jovyan/work --entrypoint=/bin/bash stephsamson/clingo

```

This will run an interactive bash shell and your work will be under the `work`

directory.

## More Options

This docker image is built on

[jupyter/docker-stacks](https://github.com/jupyter/docker-stacks/) so it is capable

of accepting other options as written on their [documentation](https://jupyter-docker-stacks.readthedocs.io/en/latest/using/common.html).