ddmler/asp-examples

Examples for answer set programming, a declarative programming language for solving NP-hard search problems.

asp-examples

Some examples of answer set programming. You can use the clingo solver to execute them. There is also a docker image available.

MIT License

Created November 13, 2016

Updated July 22, 2019