vis csp

Batasan visualisasi

Kendala visualisasi diungkapkan dengan Answer Set Programming (ASP) menggunakan alat Potassco. Proyek ini adalah cikal bakal Draco.

Jalankan dengan aspirin

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

Semantik preferensi http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

Hanya clingo atau grindo + gesper tidak berfungsi karena kami menggunakan batasan preferensi.

gringo vega-lite.lp | clasp

atau

clingo vega-lite.lp