kisp/asgl
Abstract Argumentation Solver in Common Lisp with GECODE (CSP) & Lingeling (SAT) backends
Public GitHub Catalog
Discovered Oct 7, 2026
kisp / asgl-desc
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#34518134GitHub System ID
kispOrganization / User
PublicVisibility
ActiveCatalog Status
More from kisp
kisp/argsem-soundness
Given an Abstract Argumentation Framework and an Extension, check its soundness wrt different semantics.
kisp/stumpwm-contrib
Extension Modules for StumpWM
kisp/graph-as-mzn-input
Solve constraints based on an input graph using MiniZinc.