Conjecturing hangs if debug is set to True

nvcleemp / conjecturing

Adding conjecturing to Sage

http://nvcleemp.github.io/conjecturing/

12 stars 3 forks source link

Conjecturing hangs if debug is set to True #17

Closed nvcleemp closed 4 years ago

nvcleemp commented 4 years ago

This only happens on recent versions of SageMath running Python 3. Call either the invariant-based or the property-based version of the conjecturing method and set debug=True. The method will hang forever.