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