search

nvcleemp / conjecturing

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

added real estate python3 and added change name functions to conjectu… #19

Open jpbrooks opened 3 years ago

jpbrooks commented 3 years ago

Added real_estate_python3.py that uses Python3 version of conjecturing.py. Adding convert names functions to conjecturing.py. Adding skips option to conjecturing for missing values. Added a space before the time limit option for expressions (I don't think it makes a difference).

jpbrooks commented 3 years ago

Updating conjecturing.py to include functions from prop_conjecturing, speed up computing and writing values to expressions, and updating handling of skips.