Xiang Chen
Full time programmer, part time casual
Some tips and tricks for the CP-SAT solver. ...
List of tools I use daily ...
Things to listen and/or watch during conmute. ...
Notes about the book. ...
Quick look at the repo for arq by Samuel Colvin. ...