This page has moved to https://drmaciver.com/notebook/2019/09/faster-sat-model-counting/.