vis csp

Visualisierungsbeschränkungen

Visualisierungsbeschränkungen ausgedrückt mit Answer Set Programming (ASP) unter Verwendung der Potassco-Tools. Dieses Projekt ist ein Vorläufer von Draco.

Führen Sie es mit Aspirin durch

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

Semantik der Präferenz http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Nur Clingo oder Gringo + Spange funktionieren nicht, da wir Präferenzbeschränkungen verwenden.

gringo vega-lite.lp | clasp

oder

clingo vega-lite.lp