linux/amd64/libglucose.so,linux/amd64/libminisat.so,linux/amd64/plingeling,linux/amd64/libminisatprover.so,linux/amd64/electrod,darwin/arm64/libglucose.dylib,darwin/arm64/libminisatprover.dylib,darwin/arm64/plingeling,darwin/arm64/libminisat.dylib,darwin/arm64/electrod,darwin/amd64/libglucose.dylib,darwin/amd64/libminisatprover.dylib,darwin/amd64/plingeling,darwin/amd64/libminisat.dylib,darwin/amd64/electrod,windows/amd64/libstdc++-6.dll,windows/amd64/glucose.dll,windows/amd64/libgcc_s_seh-1.dll,windows/amd64/minisat.dll,windows/amd64/libwinpthread-1.dll,windows/amd64/electrod.exe