kisp/asgl-desc
Public repository.
Extension Modules for StumpWM
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Abstract Argumentation Solver in Common Lisp with GECODE (CSP) & Lingeling (SAT) backends
Given an Abstract Argumentation Framework and an Extension, check its soundness wrt different semantics.
Solve constraints based on an input graph using MiniZinc.