Bug fixes:

• Fixed the app crashing when proving an empty blueprint's throughput unlimited property
• Reduced Linux binary size

Added the following features for developers:

• Split project into separate crates
• Bumped egui dependencies

Added the following features for users:

• Added universal balancer proof
• Updated README

Added the following features for developers:

• Simplified balancer and equal-drain proof
• Cleaned up code regarding modelling entities in z3
• Removed old z3 backend
• CI/CD

Added the following features for users:

• Support for throughput unlimited proof
• Paste via Ctrl+V of blueprint strings

Added the following features for developers:

• Added Relaxed and Blocked models
• Button for saving the IR graph to an .svg file
• Some documentation

First release of the Factorio Verify project.
Only supports belt-balancer and equal-drain properties