vis csp

Contraintes de visualisation

Contraintes de visualisation exprimées avec Answer Set Programming (ASP) à l'aide des outils Potassoco. Ce projet est un précurseur de Draco.

Exécutez-le avec de l'aspirine

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

Sémantique de préférence http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Juste clingo ou gringo + fermoir ne fonctionne pas puisque nous utilisons des contraintes de préférence.

gringo vega-lite.lp | clasp

ou

clingo vega-lite.lp