Package Downloads for FiniteModelChecker