Software

An (incomplete) list of software that I worked on:

• circumscriptino, a solver for propositional circumscription built on top of glucose
• fasm2smt, a solver for fuzzy ASP using z3
• f-stable-models, a python script for computing FLP/Ferraris stable models of ASP programs with aggregates (including non-convex recursive aggregates)
• g-stable-models, a python script for computing Gelfond&Zhang stable models of ASP programs with aggregates
• maxino, a MaxSAT solver built on top of glucose
• pyglaf, a python argumentation solver using circumscriptino
• pyrunlim, a python script for benchmarking: measure and limit resource usage, and extract data from streams
• s-stable-models, a python script for computing S-stable models in Abstract Dialectical Framework

At some point I will write a page also for the other software in my git repositoty...