atamyrat

no profile record

Submissions

145 pointsby atamyrat5 tahun yang lalu16 comments

3 tahun yang laludiscuss

For me, vim means muscle memory. I can say that it has become part of me!

RIP Bram Moolenaar

5 tahun yang laludiscuss

Also check out z3 library for solving constraint satisfaction problems.

Python binding examples (https://ericpony.github.io/z3py-tutorial/guide-examples.htm) has really cool similar problems and solutions.