Giters

nvcleemp / conjecturing

Adding conjecturing to Sage

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Conjecturing hangs if debug is set to True

nvcleemp opened this issue · comments

commented

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.