Skip to content

Commit

Permalink
Update header in docs
Browse files Browse the repository at this point in the history
  • Loading branch information
stephanzwicknagl committed Oct 25, 2024
1 parent fc79fd7 commit a59feec
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docs/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@ viASP can be used via the command line or its Python API.
comment viASP uses the clingo python API, a Flask server and a Dash frontend to generate the visualizations.
.. image:: ./img/header.png
:width: 100%
:alt: viASP header

Explore ASP programs and their answer sets with viASP:

Expand Down

0 comments on commit a59feec

Please sign in to comment.