Downloads

Computing Stable Models of Multi-valued Propositional Formulas using Propositional Answer Set Solvers

Each tool in the toolchain may be downloaded individually: f2lp, gringo, claspD, the compiler, a syntactic converter from propositional atoms back to multi-valued atoms, and the run script. In addition, we also provide a readme. Alternatively, an archive with all files may be downloaded.