Version 0.13

• Upgraded to Python 3
• More things are printed when in verbose mode
• Additional examples are available
• expressions is now able to generate expressions as it would do for conjecturing, but without checking them against any conjecturing heuristic.

Version 0.13-CoCalc

• Upgraded to Python 3
• More things are printed when in verbose mode
• Additional examples are available
• expressions is now able to generate expressions as it would do for conjecturing, but without checking them against any conjecturing heuristic.

Version 0.12

• Use precomputed values for theory
• Dynamic memory allocation (removes the arbitrary limits on numbers of objects, invariants, and properties)

Version 0.12-CoCalc

• Use precomputed values for theory
• Dynamic memory allocation (removes the arbitrary limits on numbers of objects, invariants, and properties)

Version 0.11.2

• Fixes to installation process for newer versions of Sage

Version 0.11.1-SMC

• Fixed bug which caused all property values to be undefined. This resulted in no property conjectures being made.

Version 0.11.1

• Fixed bug which caused all property values to be undefined. This resulted in no property conjectures being made.

Version 0.11.0-SMC

• Fixed a bug with property-based conjecturing which caused the program to not produce any conjectures if a very specific set of conditions were satisfied..
• Added docstrings to the conjecturing methods
• Added support for providing precomputed values.

Version 0.11.0

• Fixed a bug with property-based conjecturing which caused the program to not produce any conjectures if a very specific set of conditions were satisfied..
• Added docstrings to the conjecturing methods
• Added support for providing precomputed values.

Version 0.10.0-SMC

This updates adds several unary operators.