search

nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Add complexity bound to dalmatian heuristics #1

Open nvcleemp opened 11 years ago

nvcleemp commented 11 years ago

It could be useful to interrupt the dalmatian heuristic if the expressions reach a certain complexity.