Last released May 15, 2026
From large, deep trees to short, clear explanations.
Tool for explaining Answer Set Programs.
Last released Sep 15, 2023
Encodes data as ASP facts.
Last released Apr 19, 2023
An outstandingly fast Shingoki solver.
Supported by
