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 sat4math.com.
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.