It must be November, Since our November Release is Out

Release notes 2025-11-06

The leaves change their colors

Cups of coffee chains too

We have a new release out

It's just that kind of thing we do

(No photoshoping was used for the above picture - these are trees next to our US office)

In this release:

• Our new reports got a warm welcome (we get it, they are very good indeed

  ). This version adds resilience for certain errors (thanks, Miriam!), dark mode, and improved graphic design.

• Our Constrains library is now formally verified for not affecting program state when a constraint is lifted (this one is very technical but important, especially for those using `analyze` to ensure all stake holders are aligned).

Get the new version from our downloads site, or via your favorite package manager!

Happy modeling,

-- Provengo Tech Team