(The following text has been copypasted to the SAT/SMT by example.)
Update2: some of discussions:
http://vk.com/wall-30666517_1127706 (Russian social networking site)
This open sourced site and this page in particular is hosted on GitHub. Patches, suggestions and comments are welcome.
→ [list of blog posts]Please drop me email about any bug(s) and suggestion(s): dennis(@)yurichev.com.