FormaScope

See your constraints clearly

Windows macOS Linux

A visualization dashboard for Answer Set Programming and constraint satisfaction. Load your LP files, explore solutions with interactive graphs, parallel coordinates, decision trees, and geographic maps. Perfect for researchers, operations analysts, and anyone working with logical programming.

Download Learn More

Why FormaScope?

Beyond Text Output

Most ASP solvers output text. FormaScope turns that output into interactive visualizations - graphs, charts, maps, and decision trees that help you understand your solution space at a glance.

Multi-View Analysis

Different problems need different views. FormaScope offers constraint graphs, parallel coordinates, decision trees, and geographic mapping - all synchronized to help you explore complex solution spaces.

Local Processing

Your logic programs and solutions stay on your machine. No cloud processing, no data uploads. Perfect for sensitive research or proprietary optimization problems.

Visualization Types

Constraint Graphs

See relationships between variables and constraints as interactive node-link diagrams.

Parallel Coordinates

Explore multi-dimensional solution spaces. Filter and highlight solution clusters.

Decision Trees

Understand how different variable assignments lead to different outcomes.

Geographic Maps

For location-based constraints, see solutions on interactive maps with OpenStreetMap.

Solution Browser

Navigate through multiple answer sets, compare solutions, export selected answers.