More powerful than counting the models of a theory is parameterizing them. I've done it for propositional theories in http://www-formal.stanford.edu/jmc/parameterize.html.