ApproxMCv6 is a state-of-the-art approximate model counter using Arjun and CryptoMiniSat to give probabilistic approximate model counts to problems of size and complexity that were not possible before ...