Model Counting Meets Distinct Elements : vimarsana.com