MARIO ALVIANO
Software
Some software I developed
Dumbo VQR
Uno strumento sciocco per affrontare la VQR 2015-2019
circumscriptino
A solver for propositional circumscription
fasp2smt
A Fuzzy Answer Set Programming (FASP) solver
maxino
An MaxSAT solver
pyglaf
An Argumentation Frameworks solver
valasp
A validation library for ASP
WASP
An ASP solver
More on GitHub
Check my GitHub repositories