/vis-csp

Visualization constraints with Answer Set Programming

Primary LanguagePython

Visualization constraints

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