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.
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_randmodule.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-distrelease.