Skip to content

Visualization constraints with Answer Set Programming

Notifications You must be signed in to change notification settings

domoritz/vis-csp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Visualization constraints with Answer Set Programming

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages