issues
search
bramucas
/
xclingo2
A tool for explainability and debugging in Answer Set Programming.
MIT License
10
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Not executable at all ("AttributeError")
#14
guestieng
opened
6 months ago
4
embedded script - error: python support not available
#13
jcouk
opened
7 months ago
1
Support for tagging constraints?
#12
greg-gelfond
opened
11 months ago
10
Anonymous variables cause unsafe errors
#11
jinulee-v
opened
1 year ago
0
Integrating `xclingo` to an existing clingo pipeline
#10
zl-xiang
opened
1 year ago
0
Performance problems?
#9
thomas-genet
opened
1 year ago
16
refactor translation to use depends predicate
#8
bramucas
closed
1 year ago
0
-n does not functions as it should
#7
bramucas
closed
2 years ago
0
'importlib_resources' module added to setup.py; Increments version; V…
#6
bramucas
closed
2 years ago
0
Feature: properly explaining body aggregates
#5
bramucas
closed
1 year ago
0
show_trace not working properly
#4
bramucas
closed
2 years ago
0
'importlib_resources' not defined as a requirement?
#3
bramucas
closed
2 years ago
0
Task: constraint explaining
#2
bramucas
closed
2 years ago
1
Show problem
#1
jorgefandinno
closed
2 years ago
1