I have a few questions about Database Mode.. So, when I "Import flops for file" all options above are greyed out, why is that? Is there any merit in not being able to i.e. add a specific flop/tree to the database, in addition to the imported flop subset?
I would also like to say that I agree with the suggestion below, it would be nice to be able to save/export specific flops/trees within a database.
One more thing.. If I want to process a database but not in one go, is there a difference between 1. stopping the solver, saving it and processing it again at another time & 2. using the option "process all files in a given directory"? Is the only difference that the 2nd option will automatically autosave after each flop/tree is solved? (if I understood this correctly from an older message in this thread)
Last edited by AndreasAU79; 05-29-2019 at 02:12 PM.