vis csp

Ограничения визуализации

Ограничения визуализации, выраженные с помощью программирования набора ответов (ASP) с использованием инструментов Potassco. Этот проект является предшественником Драко.

Запустите это с аспирином

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

Семантика предпочтений http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Просто клинго или гринго + застежка не работает, поскольку мы используем ограничения предпочтений.

gringo vega-lite.lp | clasp

или

clingo vega-lite.lp