Project on implementing a shell for clingo using multi-shot solving.
Please update the script clingo-shell.py.
There are no given tests for this project, but you should check your script with the ncoloring example of the
notebook.
-
Notifications
You must be signed in to change notification settings - Fork 1
potassco-asp-course/project-multi-shot-shell
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Project on implementing a shell for clingo using multi-shot solving
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published