dynASP

A dynamic-programming based ASP-solver. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs from standard ASP-solvers which implement techniques stemming from SAT or CSP.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element