Hello guys, I have been recently talking to Klaus about this and he asked me to post this on the mailing list. libsatsolver comes with a static library which is against policies of several distributions and anyway, not a good way to distribute code. As the code and especially the ABI is very stable I would say there is no other reason to keep the library static and do a shared one instead. Benefits would be a better integration into other distributions and getting fixes and changes to the distribution without recompiling bindings, etc. Additionally, this shared library is versioned. I attached a patch to this mail and hope it would be committed to the source repository. There are no issues to expect if the linking is done properly. Sincerely, Michael