Project on implementing a minimal version of clingcon using theory solving.
Please update the script mini-clingcon.py.
There are no given tests for this project, but you should at least do the tests from the notebook.
generated from potassco-asp-course/project-multi-shot-mini-asprin
-
Notifications
You must be signed in to change notification settings - Fork 0
potassco-asp-course/project-theory-solving-mini-clingcon
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementing a minimal version of clingcon
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published