No more GitHub

I deleted my GitHub account on 28-Nov-2019. It's a great platform for opensource project, but mine are not collaborative, it's just me + translators. We don't need bugtrackers, etc...

Also, like any other social network, it became distractive (to my taste).

For RE4B source code, see: https://beginners.re/src/.

For SSBE git repo: git clone https://yurichev.com/SAT_SMT_git/


Please drop me email about bug(s) and/or suggestion(s): dennis@yurichev.com