# ∃sat : projected model counting .
A machine program for theorem-proving