ronmrdechai

3 ms·

1. 1.▲
   by ronmrdechai 7y ago

   Author here, this is the first time I've ever written anything for the internet. I though I'd take the weekend to mess around with SAT solvers and their implementation and then another weekend to write about it. I don't have
2. 2.▲
   An Exercise in Satisfiability(github.com)

   2 points by ronmrdechai 7y ago|1 comments
3. 3.▲
   by ronmrdechai 7y ago

   Take a look at `:help 'keywordprg'`.
4. 4.▲
   Show HN: Pie – an idiomatic C++ interface to CPython's C API

   10 points by ronmrdechai 9y ago|2 comments