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