Skip to content

Commit ccf68c1

Browse files
committed
add non-transitive dice exercise
1 parent 7a6f25c commit ccf68c1

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

_pages/tutorials.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,10 @@ After executing it you should be ready to get your hands dirty with the exercise
3737

3838
<li> <a href="https://colab.research.google.com/drive/1188nOlXmZ6D3EI44cFDdCFNSkbzeo9KW?usp=sharing">Small Cages SAT</a>: a fourth step into SAT solving by computing small cage graphs.
3939
</li>
40+
41+
<li>
42+
<a href="https://colab.research.google.com/drive/1DlOMXoMleBFVnMFsr2sl5QKNOCeHmOz5?usp=sharing"> Non-transitive dice SAT</a>: a final boss! Finding small sets of non-transitive dice with SAT.
43+
</li>
4044
</ul>
4145

4246
## Solutions

0 commit comments

Comments
 (0)