v3.0.0

Caesar 3.0 improves the SMT reasoning capabilities of Caesar, making verification more powerful, stable, and predictable.

Overview:

1. Limited Functions
2. Other SMT-related Improvements
3. Other Improvements