relikd/LiberPrayground
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

split folder into db and results

Browse Source
This commit is contained in:
relikd
2021-02-12 00:54:50 +01:00
parent a9d4085a4b
commit 1c27f17677
15 changed files with 24 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
solver.py
View File

@@ -108,8 +108,8 @@ def try_totient_on_unsolved():
def find_oeis(irp=0, invert=False, offset=0, allow_fails=1, min_match=2):
def trim_orig_oeis(minlen=15, trim=40):
# download and unzip: https://oeis.org/stripped.gz
with open(LP.path.data('oeis_orig'), 'r') as f_in:
with open(LP.path.data('oeis'), 'w') as f_out:
with open(LP.path.db('oeis_orig'), 'r') as f_in:
with open(LP.path.db('oeis'), 'w') as f_out:
for line in f_in.readlines():
if line[0] == '#':
continue
@@ -120,7 +120,7 @@ def find_oeis(irp=0, invert=False, offset=0, allow_fails=1, min_match=2):
f_out.write(name + ',' + ','.join(vals) + '\n')
# trim_orig_oeis() # create db if not present already
with open(LP.path.data('oeis'), 'r') as f:
with open(LP.path.db('oeis'), 'r') as f:
seqs = []
for line in f.readlines():
vals = line.split(',')