Giters

nvcleemp / conjecturing

Adding conjecturing to Sage

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Hard-coded limits

nvcleemp opened this issue · comments

commented

At the moment conjecturing has several hard-coded limits, because it only uses static memory allocation. Since the number of invariants in the Graph Brain projects is rapidly increasing, we are hitting this limit. A more scalable solution might be to use dynamic memory allocation.

commented

There is still a problem with reading the invariant values. At the moment this still just reads lines of length 1024 and parses them for the separate values. This will clearly give a problem if the number of invariants becomes to high. Better would be to not first read in a complete line, but to read the values directly from the file.

commented

Reading the invariants is not an issue, since every value is on a separate line.