Ryan Govostes

Thank you. Can you explain how you produced it?

I would think CI is about project infrastructure and not part of the release. If there are changes to how STP is built or integrated that would affect users, we...

In that case, sounds like there's a good argument to merge it in, as long as there are issues tracking future work (static builds etc.)

It seems wrong to me but using `CMAKE_INSTALL_PREFIX` also seems wrong. Do you know what the best practice is? Can we invoke Python and ask it where its site-packages are?...

cc @conp-solutions

Build is green now. 

There's always the option for those who wish to continue using Minisat to build against an older release of STP that still supports it. This might be fine for "reproduc[ing]...

It sounds more complicated—and increases the complexity of our build scripts etc.—than just eliminating MiniSat and saying, "Use version x.yy if you absolutely need MiniSat. This version is deprecated, and...

> This is bad from a user's perspective. Ok, we could continue giving support (insofar as we are volunteers who do our best to help people when they get stuck,...

Renaming to what I think this describes now.