Some invariants and properties might be hard to compute. At the moment all values are computed prior to running the conjecturing program. It is left to the user to add a cache to the invariants and properties to speed up these calculations. This can easily be done using memoization, but it might be better if the conjecture method has an optional parameter to provide a dictionary with precomputed values.
Some invariants and properties might be hard to compute. At the moment all values are computed prior to running the conjecturing program. It is left to the user to add a cache to the invariants and properties to speed up these calculations. This can easily be done using memoization, but it might be better if the conjecture method has an optional parameter to provide a dictionary with precomputed values.