🦉 A grounder and solver for logic programs.
-
Updated
Nov 26, 2025 - C++
#
answer-set-programming
Here are 8 public repositories matching this topic...
Finite Fuzzy Answer Set Programming Solver
-
Updated
Jun 3, 2018 - C++
A new solver for asp programs with quantifiers over stable models
-
Updated
Dec 17, 2022 - C++
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
-
Updated
Dec 6, 2021 - C++
Repairing Boolean logical models from time-series data using Answer Set Programming
-
Updated
Dec 13, 2018 - C++
Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities
-
Updated
Jun 7, 2017 - C++
Source code for ASP solver of KR 2018 paper "A Hybrid Approach to Optimization in Answer Set Programming"
-
Updated
Aug 17, 2021 - C++
A tour guide personalized as per the user's requirements
-
Updated
Sep 2, 2018 - C++
Improve this page
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."