Open
Description
The DiscoverBalancedTrees notebook is no longer compatible with the new version of Imandra. @Bronsa suspects it might have something to do with recent changes to the Gen_rand module.
I've reverted the Imandra version upgrade commit in the short term as we want to release something else, but this will be re-applied on the next imandra-dist release.
Metadata
Metadata
Assignees
Labels
No labels