vis csp
1.0.0
تم التعبير عن قيود التصور باستخدام برمجة مجموعة الإجابات (ASP) باستخدام أدوات Potassco. هذا المشروع هو مقدمة لدراكو.
تشغيله مع الأسبرين
asprin/asprin vega-lite.lp asprin/library/ * .lpدلالات التفضيل http://www.star.dist.unige.it/~marco/Data/10constraints.pdf
مجرد lingo أو gringo + clasp لا يعمل لأننا نستخدم قيود التفضيل.
gringo vega-lite.lp | claspأو
clingo vega-lite.lp
