Automated Reasoning Solutions to automated reasoning problems are provided. Software that was used include NuSMV, Z3, Prover9 and Mace4.
