Johannes Buchner

Is this issue still relevant? If not, could you please explain how it was solved?

sounds similar to #189

Did you try cleaning your build/ folder completely (including hidden files)?

`ls -A` will show you the files

yeah, that's fine. So you still get the same error when doing `cmake .. && make`?

Then I don't know. What OS is this?

Perhaps updating cmake could help.

I am wondering if this may cause issues with users who want to pickle the result. Perhaps using the Solver class may be more suitable for use cases which should...

perhaps we should break up this function into the run() and analyse() part, so that the solver class can expose the analyzer.

What problem are you trying to solve in the first place?