Draft notes to be copypasted in future into my articles...
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Knuth_comma_in_C
Vietnamese_puzzle
Z3
feed_the_kids
README.md
binsearch.c
qsort.md

README.md

These notes are in stage of β-testing and will be moved into my other writings.

If you see any error/mistake, please drop me a note: dennis@yurichev.com, or create pull request.

Got 404 error? Something deleted? I've probably copy&pasted it to RE4B or SAT/SMT by example.