Some examples of answer set programming. You can use the clingo solver to execute them. There is also a docker image available.
Examples for answer set programming, a declarative programming language for solving NP-hard search problems.
License
ddmler/asp-examples
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Examples for answer set programming, a declarative programming language for solving NP-hard search problems.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published