Update feature list, and header image

potassco · Jun 21, 2024 · 7d9f51c · 7d9f51c
1 parent 90c15af
commit 7d9f51c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -4,9 +4,6 @@
 
 ## viASP generates an interactive visualization of your ASP program and its stable models
 
-Try it out in Binder!
-[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/potassco/viasp/main?filepath=examples%2FIntroduction%20to%20viASP.ipynb)
-
 ![Example visualization](docs/img/header.png)
 
 viASP allows you to explore the visualization in a variety of ways:
@@ -16,8 +13,6 @@ viASP allows you to explore the visualization in a variety of ways:
 * Explain the derivation of individual symbols with arrows
 * Inspect iterations of recursive rules
 * Visualize unsatisfiable programs
-* Add #show statements on the fly
-* Search models and signatures
 * Move rules to follow a preferred order
 * Zoom in and out of parts of the graph
 

diff --git a/docs/img/header.png b/docs/img/header.png