vis csp

可視化限制

使用 Potassco 工具透過答案集編程 (ASP) 來表達可視化約束。該項目是Draco 的前身。

用阿斯匹林運行

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

偏好語意 http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

由於我們使用偏好約束，因此僅使用 cligo 或 gringo + clasp 是行不通的。

gringo vega-lite.lp | clasp

或者

clingo vega-lite.lp