{"id":15755112,"url":"https://github.com/kasteph/clingo-notebook","last_synced_at":"2025-10-07T23:53:34.502Z","repository":{"id":76772413,"uuid":"327122500","full_name":"kasteph/clingo-notebook","owner":"kasteph","description":"A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!","archived":false,"fork":false,"pushed_at":"2021-02-12T10:25:22.000Z","size":26,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-10-07T23:53:33.946Z","etag":null,"topics":["answer-set-programming","clingo","docker","potassco"],"latest_commit_sha":null,"homepage":"","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kasteph.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-01-05T21:21:30.000Z","updated_at":"2022-02-14T10:28:38.000Z","dependencies_parsed_at":null,"dependency_job_id":"81dabcfb-6027-4cd5-93da-e8c9bebc6848","html_url":"https://github.com/kasteph/clingo-notebook","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/kasteph/clingo-notebook","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kasteph%2Fclingo-notebook","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kasteph%2Fclingo-notebook/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kasteph%2Fclingo-notebook/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kasteph%2Fclingo-notebook/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kasteph","download_url":"https://codeload.github.com/kasteph/clingo-notebook/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kasteph%2Fclingo-notebook/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":278866936,"owners_count":26059670,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-07T02:00:06.786Z","response_time":59,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["answer-set-programming","clingo","docker","potassco"],"created_at":"2024-10-04T08:07:29.715Z","updated_at":"2025-10-07T23:53:34.471Z","avatar_url":"https://github.com/kasteph.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# clingo-notebook 📒\n\nA docker image with [clingo](https://github.com/potassco/clingo), Jupyter, and\nconda installed.\n\nBut why make this notebook if clingo has conda as a dependency anyway? 🤔\n\nThis is made for people who do not use conda primarily as their Python package\nmanager (such as myself) or for software developers who do not use Python\nextensively but are probably serial docker users.\n\n## Installation\n\n[Install docker](https://docs.docker.com/get-docker/) if you have not already.\n\nWith docker installed:\n\n```\ndocker pull stephsamson/clingo\n```\n\n## Quickstart\n\nIn your project workspace (such as `~/code/asp`, for example), run:\n\n``` \ndocker run --rm -p 8888:8888 -v \"$PWD\":/home/jovyan/work stephsamson/clingo\n```\n\nA Jupyter notebook link will appear on your terminal; copy and paste this link\nonto your browser. Your project workspace will be under `/work` in the Jupyter\nnotebook tree.\n\nBefore you run a cell in a Jupyter notebook, make sure that you have the\nfollowing to run cell magic:\n\n``` \n%%clingo -V0 0\n```\n\n... so it should look like this:\n\n![](assets/cell.png)\n\nTo enable verbose mode in cell magic, simply use the following cell magic:\n\n```\n%%clingo 0\n```\n\nAnd that's it! 💫 \n\n### No Notebook\n\nIf you don't need a notebook because you simply want to run the `.lp` file from\nyour project workspace:\n\n```\n# assumes dir has .lp files\ndocker run --rm -it -v \"$PWD\":/home/jovyan/work --entrypoint=/bin/bash stephsamson/clingo\n```\n\nThis will run an interactive bash shell and your work will be under the `work`\ndirectory.\n\n## More Options\n\nThis docker image is built on\n[jupyter/docker-stacks](https://github.com/jupyter/docker-stacks/) so it is capable\nof accepting other options as written on their [documentation](https://jupyter-docker-stacks.readthedocs.io/en/latest/using/common.html).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkasteph%2Fclingo-notebook","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkasteph%2Fclingo-notebook","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkasteph%2Fclingo-notebook/lists"}