Skip to content

Commit

Permalink
new diff examples
Browse files Browse the repository at this point in the history
  • Loading branch information
menocsk27 committed Jan 28, 2025
1 parent c5efb7b commit 7e46c9a
Showing 1 changed file with 14 additions and 8 deletions.
22 changes: 14 additions & 8 deletions frontend/views/widgets/examples/examples-study.spy
Original file line number Diff line number Diff line change
@@ -1,20 +1,26 @@
<div class="collection" id="examples">
<div onclick="loadExample('diff-inf', 'diff-inf')" class="collection-item">
1. Difference Equations - Infinite Solutions
1. Difference Equations - Infinite Solutions (1)
</div>
<div onclick="loadExample('diff-unsat', 'diff-unsat')" class="collection-item">
2. Difference Equations - Unsatisfiable
2. Difference Equations - Unsatisfiable (1)
</div>
<div onclick="loadExample('diff-inf-2', 'diff-inf-2')" class="collection-item">
3. Difference Equations - Infinite Solutions (2)
</div>
<div onclick="loadExample('diff-unsat-2', 'diff-unsat-2')" class="collection-item">
4. Difference Equations - Unsatisfiable (2)
</div>
<div onclick="loadExample('linear-inf', 'linear-inf')" class="collection-item">
3. Linear Equations - Infinite Solutions (1)
5. Linear Equations - Infinite Solutions (1)
</div>
<div onclick="loadExample('linear-unsat', 'linear-unsat')" class="collection-item">
4. Linear Equations - No solution (1)
6. Linear Equations - No solution (1)
</div>
<div onclick="loadExample('linear-inf', 'linear-inf-2')" class="collection-item">
5. Linear Equations - Infinite Solutions (2)
<div onclick="loadExample('linear-inf-2', 'linear-inf-2')" class="collection-item">
7. Linear Equations - Infinite Solutions (2)
</div>
<div onclick="loadExample('linear-unsat', 'linear-unsat-2')" class="collection-item">
6. Linear Equations - No solution (2)
<div onclick="loadExample('linear-unsat-2', 'linear-unsat-2')" class="collection-item">
8. Linear Equations - No solution (2)
</div>
</div>

0 comments on commit 7e46c9a

Please sign in to comment.