vis csp

Restrições de visualização

Restrições de visualização expressas com Answer Set Programming (ASP) utilizando as ferramentas Potassco. Este projeto é um precursor do Draco.

Execute-o com aspirina

asprin/asprin vega-lite.lp asprin/library/ * .lp

Semântica de preferência http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Apenas clingo ou gringo + fecho não funciona, pois usamos restrições de preferência.

gringo vega-lite.lp | clasp

ou

clingo vega-lite.lp