IC3PO v1.1

What's Changed

• Merging RangeBoost by @aman-goel in #1
• Merge pull request #1 from aman-goel/develop by @aman-goel in #2
• Adds license and experimental cti enumeration by @aman-goel in #3
• Sync with master by @aman-goel in #4
• Develop by @aman-goel in #5

New Contributors

• @aman-goel made their first contribution in #1

Full Changelog: ic3po-1.0.0...ic3po-1.1

ic3po-1.0.0

Minor correction

Avoid name collisions in pretty printing and resulting side effect