vis csp

Restricciones de visualización

Restricciones de visualización expresadas con Programación de conjuntos de respuestas (ASP) utilizando las herramientas Potassco. Este proyecto es un precursor de Draco.

Ejecútelo con aspirina

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

Semántica de preferencia http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Simplemente clingo o gringo + cierre no funciona ya que usamos restricciones de preferencia.

gringo vega-lite.lp | clasp

o

clingo vega-lite.lp