/clingo-notebook

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

Primary LanguageDockerfileGNU General Public License v3.0GPL-3.0

No issues in this repository yet.