vis csp
1.0.0
Visualization constraints expressed with Answer Set Programming (ASP) using the Potassco tools. This project is a precursor of Draco.
Run it with aspirin
asprin/asprin vega-lite.lp asprin/library/*.lp
Semantics of preference http://www.star.dist.unige.it/~marco/Data/10constraints.pdf
Just clingo or gringo + clasp doesn't work since we use preference constraints.
gringo vega-lite.lp | clasp
or
clingo vega-lite.lp