Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker. CAV 2021. Evaluated ...

This repository contains the source material, code, and data for the book, Computational Methods for Economists using Python, by Richard W. Evans (2023). This book is ...