clingo

ASP system to ground and solve logic programs

brewmacoslinux

Try with needOr install directly

About

ASP system to ground and solve logic programs

clingo

Solve a logic program from a file$ clingo program.lp

Ground a program without solving$ clingo program.lp --ground-only

Find all stable models of a program$ clingo program.lp 0