The #SAT solver sharpSAT