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