I’m excited to maintain a website collecting papers and other resources related to the use of SAT solvers in mathematics. You can find it at bsubercaseaux.github.io/sat-for-math.
Here’s a collection of some small websites I’ve built (some with help of others):
- twentyfour.surge.sh/: A website to play the game of 24.
- packit.surge.sh/: A website to play PackIt! (analyzed in our paper).
- k-hole-tester.surge.sh/: A website to test constructions in geometric Ramsey Theory. See e.g., this paper.