Andrew V. Teylu

@rgov what do you think about not allowing people to use MiniSat as the "only" option though? I still don't know why we'd make MiniSat be the only solver we...

Okay, so if we're totally killing MiniSat, then let's do it -- but I think a half-way house where MiniSat is a weird "half supported" solver makes things more complicated...

Could we make it optional *and deprecated* (while still not requiring another solver)? If anyone asks for support on GitHub for MiniSat-related issues we say "sorry, MiniSat is unsupported, use...

Sounds good to me, @TrevorHansen!

@msoos I'm just abusing Travis to work out what does/doesn't work. Weirdly, builds don't work with `ccache` (which is the first thing I turned off) and then they build, but...

@msoos does this https://travis-ci.org/github/stp/stp/jobs/712276831#L2166 make any sense to you? ``` ccache: error: Failed to create temporary file for /home/travis/.ccache/c/d/2c4accbe774d6c74e3b63313130f43-209396.o.tmp.stdout: Permission denied ```

My plan (currently) is to get CMS + Riss working under CI, and then look at replacing Travis for GH Actions. If the tests pass, are you happy with CMS...

Erm, didn't that commit just "clean-up" our Dockerfile? Is this actually used in CI? The GitHub Actions CI does not use "our" Dockerfile: - https://github.com/stp/stp/blob/644d43aa5e70c995d6c446fc413801a9a53639c7/.github/workflows/ci.yml#L16 I don't think we have...

(@TrevorHansen if I'm wrong, feel free to close this again 🙈 )

If we could test and build via Actions for both static and dynamic, that would be great. However, if we're worried about running out of free minutes (I don't actually...