GitHub / joshuaguerin / Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Stars: 16
Forks: 0
Open issues: 9
License: None
Language: Answer Set Programming
Size: 2.53 MB
Dependencies parsed at: Pending
Created at: about 4 years ago
Updated at: 3 days ago
Pushed at: 3 days ago
Last synced at: 3 days ago
Topics: algorithm, algorithms, answer-set-programming, asp-for-all, aspa, clingo, computer-science, constraint-programming, constraint-satisfaction-problem, education, language, logic, logic-programming, np-complete, np-hard, stable-models