atamyrat

no profile record

Submissions

145 pointsby atamyrat5 лет назад16 comments

3 года назадdiscuss

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

RIP Bram Moolenaar

5 лет назадdiscuss

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.