v1.0.0
8957a489 · Adds assumptions · Dec 30, 2018
Release: v1.0.0