This page has moved to https://drmaciver.com/notebook/2024/09/set-operations-on-sat-problems/.