GitHub repository: stephanzwicknagl/viasp
Primary language: Python
Description: A visualization tool for clingo