[lilott8]

I'm slightly annoyed that this only describes the implementation. It would be very helpful for those beginning to study this area to see the formulations of these problems in mathematical notation. (Yes, some of them are trivially identified. Others, however, not so much.) Seeing the translation from S{M|A}T into the implemented formulation (on, in my case, the reverse) was helpful in my understanding of how this whole sub-field works. Otherwise, though, this is a remarkable resource for understanding problems and how to translate them into S{M|A}T

[fovc]

You realize you're saving no characters writing S{M|A}T instead of SAT/SMT? :) It's like abbreviating world wide web to double-u, double-u, double-u.