ASP
Solver Trace Visualizer
{{ stats.status }}
Conflicts: {{ stats.conflicts }} | CyclicAtoms: {{ stats.cyclic_atoms_count }}
Load Execution Trace
Paste JSON output:
Enable Implication Graph (disable if performance is slow)
{{ error }}
Visualize
{{ currentStep }}
OF {{ totalSteps }} STEPS
{{ index + 1 }}
Implication Graph
Search Tree
Conflict Analysis
Current DL:
{{ currentDL }}
Decision
Propagated
Conflict
Tree Nodes = Decisions.
Levels = Decision Levels.
Edge labels:
P
=Propagation,
U
=US Check.
Current Nogood (Delta)
Sigma (To Resolve)
Antecedent (Reason)
Assignments
{{ sortedAssignments.length }}
Atom
Val
DL
{{ truncate(a.name) }}
{{ a.is_positive ? 'T' : 'F' }}
{{ a.dl }}