{"version":"1.0","type":"rich","title":"wfc with edge labels in clingo","description":"This visualization generates a 3×3 tile grid using Answer Set Programming in Clingo, where each cell is assigned a tile pattern (straight, corner, or empty) with edge labels indicating path or empty connections. The grid must satisfy adjacency constraints so that neighboring tile edges are connectable, and every pattern appears at least once. The logic program defines tile rotations, legal neighbor relationships via the `legal/4` predicate, and enforces consistency through integrity constraints. The example demonstrates constraint-based procedural generation of a complete, valid wfc-style layout without external rendering libraries.","provider_name":"VizHub AI Studio","provider_url":"https://next.vizhub.com","html":"<iframe src=\"https://next.vizhub.com/viz/gist-87c07a264f89820377ae8c0464dc1733?mode=embed\" width=\"960\" height=\"500\" scrolling=\"no\" frameborder=\"1\"></iframe>","width":960,"height":500,"cache_age":3600}