Datset Of Automated Economic Reasoning Problems For Qe / Smt

<strong>NOTE: PLEASE REFER INSTEAD TO V2 OF THIS DATASET: <br> https://doi.org/10.5281/zenodo.1226892</strong> This dataset consists of 45 examples taken from economics textbooks and papers that are suitable for automatic solution with Quantifier Elimination (QE) or Satisfiability Modulo Theory (SMT) technology. There are two files: 1. EconomicReasoningBenchmarks-Apr18-Redlog.txt This plain text file can be run with the Redlog Package for the Computer Algebra System Reduce. It contains definitions and calls to Redlog's QE command for all 45 examples. 2. EconomicReasoningBenchmarks-Apr18-SMT2.zip This zip file will uncompress to a directory with 45 files, one for each example given in SMT2 format and thus suitable for use with any SMT solver supporting the theory.