search

DasLab / big_library_design

MIT License
0 stars 0 forks source link

save a log file #34

Open rkretsch opened 1 year ago

rkretsch commented 1 year ago

With all detailed output, in particular any setting that had to be relaxed for any sequence, save a log file as opposed to print to stdout.