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

More on GitHub

Check my GitHub repositories