/about/ 2048-05-01T21:48:51-07:00 /2017/07/23/solve-sudokus-with-r-and-a-sat-solver/ 2017-07-23T00:00:00+00:00 /2017/07/14/talk-about-ompr-at-the-user2017/ 2017-07-14T20:13:37+02:00 /categories/ 0 / 2048-05-01T21:48:51-07:00 0 /post/ 2017-07-23T00:00:00+00:00 0 /tags/ 0