vis csp

시각화 제약

Potassco 도구를 사용하여 ASP(응답 세트 프로그래밍)로 표현된 시각화 제약 조건. 이 프로젝트는 Draco의 선구자입니다.

아스피린과 함께 실행

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

선호도의 의미 http://www.star.dist.unige.it/~marco/Data/10constraints.pdf

clingo 또는 gringo + clasp은 기본 설정 제약 조건을 사용하기 때문에 작동하지 않습니다.

gringo vega-lite.lp | clasp

또는

clingo vega-lite.lp