vis csp

視覚化の制約

Potassco ツールを使用した Answer Set Programming (ASP) で表現された視覚化の制約。このプロジェクトは Draco の前身です。

アスピリンを使って実行する

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

優先順位のセマンティクス http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

好みの制約を使用しているため、単に clingo または gringo + clasp だけでは機能しません。

gringo vega-lite.lp | clasp

または

clingo vega-lite.lp