Datset of automated economic reasoning problems for QE / SMT
- 1. University of Chicago
- 2. University of Bath
- 3. Coventry University
Description
NOTE: PLEASE REFER INSTEAD TO V2 OF THIS DATASET:
https://doi.org/10.5281/zenodo.1226892
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.
Files
EconomicReasoningBenchmarks-Apr18-Redlog.txt
Files
(83.4 kB)
Name | Size | Download all |
---|---|---|
md5:5104c57f75443bcf735af1821b01c4d1
|
40.7 kB | Preview Download |
md5:f860ff9aee17148301d61435b703d692
|
42.7 kB | Preview Download |