@aytey would love help on this. Unsure why CI is failing. This was the minimal set of changes to get it to work on my side, but I'm sure there's more that's needed!

@aytey would love help on this. Unsure why CI is failing. This was the minimal set of changes to get it to work on my side, but I'm sure there's more that's needed!

I'll try to look on Friday -- sorry.

As a note, I'm not sure if appveyor has been happy "in quite a while", so it failing might be something to ignore.

I just approved the CI for gcc/clang -- sorry for not doing that sooner.

Unsure why clang passed and gcc failed. I expected both to fail. gcc-built version getting errors like this:

/home/runner/work/stp/stp/build/tests/unit-tests/MergeSame_TestTests: error while loading shared libraries: libcadiback.so: cannot open shared object file: No such file or directory

This is because deps/cadiback/libcadiback.so and deps/cadical/build/libcadical.so need to be installed alongside STP. Currently, I don't think that's happening. I'm not quite sure what the right way is to make that happen with CMake. I'm assuming it's a simple fix!