[package]
name = "therm_model"
version = "0.1.0"
authors = ["Getty Ritter <gdritter@galois.com>"]

[dependencies]