11 projects
gdatalog
Genereative Datalog with stable negation
asp-chef-cli
A simple CLI to run ASP Chef recipes
dumbo-asp
Utilities for Answer Set Programming
dumbo-utils
Different utilities to be reused in other projects
valphi
Logic programs ralying on ValPhi semantics
dumbo-runlim
A CLI to run and limit processes (and their subprocesses)
dumbo-esse3
Esse3 command line utility, to save my future time!
dumbo-ml
xasp
API for eXplainable Answer Set Programming
dumbo-ae
CLI per il corso di Architettura degli Elaboratori
dumbo-scopus
Simple CLI to search on Scopus and obtain the results in a XLSX file
