Economoist
Economoist is a Chelis library of small economic models, including Markov transitions, Bellman updates, and Gordon present value. The model guide summarizes the assumptions and evidence for each model.
The examples distinguish two kinds of evidence. SMT checks establish stated properties over the reals under their written assumptions. Sampled checks evaluate numerical behavior at selected inputs; they do not prove a result for every input. Neither kind of result alone guarantees floating-point behavior for all executions.
The library's source repository contains the models and example programs. To use Chelis, see the installation guide.
License
Section titled “License”MIT. See the project's LICENSE.