Imandra is proud to announce the release of ImandraX v13.0. Updates include:
- Significant performance improvements in distributed reasoning infrastructure (in some instances reasoning tasks go from 700ms to under 80ms)
- Improved caching, including for common libraries across sessions
- Greater visibility in performance monitoring
- Numerous other platform improvements
Please note that we are now using semantic versioning for ImandraX, and thus v13.0 denotes a major release with breaking API changes. Please upgrade your ImandraX client and Python libraries accordingly!