silentarmy shared library with python CFFI

[janbraiins]

Hi Marc,

I did some consolidation on the code to convert it into a standalone shared library, while maintaining the functionality in sa-solver in place. Let me know if you would consider to merge it.

I have started 1 week ago and I see you have made a big progress with the code. However, I believe the current version is broken in terms of finding proper solutions. I will open an issue for this.

[mbevand]

I will consider merging something like this, yes. But I really like the fact that the solver instances are separate processes. Because if they crash (due to eg. flaky hardware) they do not crash the whole silentarmy process.

But it seems with your work, we could still fork(), and have multiple python "solver" processes that hook into the library.

So yes I would consider merging something like this.

[janbraiins]

I actually run the library in separate processes for each solver instance for the exact reasons that you have stated. I created pyzcm - will publish it soon - that uses silentarmy in the library version.