This page has moved to https://drmaciver.com/notebook/2024/10/fast-enumeration-of-partial-assignments-in-sat-problems/.