ImandraX and Imandra Universe Updates

Official Announcements
1

ImandraX Updates:

  • API version 14 supporting multi-version cloud engine support. Servers will be updated next week, all users advised to upgrade.
  • Improvements to installer for MacOS: sudo access no longer required, displays the link to the Imandra Universe API keys page and prompts users to paste their API key right away.
  • Coming soon: top-level integration of bounded model-checking, multi-version server-side support and beautiful IML VS Code Extension formatting.

Imandra Universe Updates:

  • Added: Discrete Event Calculus Reasoner, Glucose-syrup, IntelSAT, MiniZinc, Sat4j-maxsat, Relsat with examples and sample usage code snippets.

Infrastructure Updates:

  • Paid tier (ability to upgrade from our free tier to a paid tier to increase available IU credits).
  • Coming soon: Support for coupons If you’ve been given or redeemed a coupon previously, you’ll be able to count this as money off your paid tier subscription.
  • Coming soon: MCP integration.