A docker image for clingo, an answer set programming solver with examples to play around.
docker pull ddmler/docker-clingodocker run ddmler/docker-clingo clingo examples/gringo/subset/example.lpA docker image for clingo, an answer set programming solver with examples to play around.
License
ddmler/docker-clingo
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A docker image for clingo, an answer set programming solver with examples to play around.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published