Features

• Added tests for polyhedral contracts (by @abadithela, @jgraeb, @iincer, @pierg, @ayush9pandey, @NicolasRouquette, and @YuTaiwan)
• Added methodology for software release (by @abadithela, @jgraeb, @iincer, and @ayush9pandey)
• Added toolchain for software development (by @iincer, @pierg, @ayush9pandey, and @NicolasRouquette)
• Added parser for polyhedral constraints (by @NicolasRouquette)
• Added contract support for polyhedral constraints (by @iincer)
• Added implementation of contract algebra (by @iincer)

Full Changelog: https://github.com/pacti-org/pacti/commits/0.1.0