Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
sCASP-scratch
Top-down interpreter for ASP programs with Constraints
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
5
Last push
45mo ago
Recent commits
Latest commits.
Render is/2 expressions in human format.
43da88b
Jan Wielemaker
45mo ago
FIXED: Lift classical negation before emitting program.
9207edf
Jan Wielemaker
45mo ago
ADDED: Make HTML rendering of arbitrary sCASP terms public.
c3b5b32
Jan Wielemaker
45mo ago
ENHANCED: When matching a tree for human output, do not care whether some sub node is
af2514c
Jan Wielemaker
45mo ago
ADDED: Allow for recursion in tree specification for :- pred.
d38f8fc
Jan Wielemaker
45mo ago
ENHANCED: Embed the justification terminator EQD symbol in a span with
b3836e0
Jan Wielemaker
45mo ago
FIXED: JavaScript code to collapse/expand tree
c26545a
Jan Wielemaker
45mo ago
FIXED: Properly call human explanations on model terms.
b04436e
Jan Wielemaker
45mo ago
Top contributors
Builders behind this project.
JanWielemaker
718 commits
eshelyaron
28 commits
manuel-carro
17 commits
Xuaco
16 commits
igcontreras
1 commits
