[ { "reference": "z3/4.8.8", "packageID": "752528a2e0fcb0eaa438feda0fef97a440f25f96", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.version": "4.9", "compiler.libcxx": "libstdc++", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "90b87f5d4196cc300f9d684e42d46c06ebbd511e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.version": "4.9", "compiler.libcxx": "libstdc++", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "8783734ddb9d9449621f280fc91df30f472b4c07", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.version": "4.9", "compiler.libcxx": "libstdc++", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "74f3ac1c9339220c094e1ecdb975e84144f15a17", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.version": "4.9", "compiler.libcxx": "libstdc++", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a1f66ef4fc9ba96eae86e4caecea2092500f75c7", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "5", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d1dc2f50a778d1c72ad409e430a0605cff7fc1a8", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "5", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c127b605e43a586018fe222d61adb4f65da3a54c", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "6", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "74c51d3cc2cdcc9ce27dd24a91b98861ddbf0c1e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "6", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0722cc24a81780ed05c55d4fc9849d4ad31955e7", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "7", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "21d6d9a5213b8db9cf8f5d15fc7576b15db693b1", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "7", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ae8ea652b14fd9fbd157562043c049b819a704c0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "27b30f9d665abfa70536be8856b290c906becfda", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "76dcd216fa6f99fc008e0ef8bf4f803e06f5f034", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "27c4f43acd1b9a6506b658f41ee70a961e99fed0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "1a3267e6eb140532a6bc3efcb0655cfcccc974dd", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "31024090208d5bef7134587339bb11e302c51b86", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "434d0522ed306589894a8efed1adf4ce4af68136", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "5", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "81ca0b2012e06a23a826a1c586e4ae708c900578", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "5", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "cb1b1bcc1b5a77fb32bd5d081debc4cf8d0aab8e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "6", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "77fbae558b9e5d80151d151d59b85cfb390f22e0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "6", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "95c3227cd66d006fafa19153ee3c620d51ca5782", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "7", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "fb66bccc916b78efa0f23f6a8286c8724723cee0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "7", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "3276adbbaf05a2ce122778042abf99707a5ce2f1", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "abc8b6c9de2df37e7e7433e337eeca55c3ec824b", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "12caa927a2c283e549037a62df3a9b8cdd420bd2", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7b08793124f53ad1700b33e746d7b146a864d4eb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "f2bb2228133b4903a0ebd1a15cc46393ca3e9f2a", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d947f3354c4a79199096bcf0585f1c176e5a7e48", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ad7a8213f437d34ad846dc5ec96512bf71fb8576", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "3.9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c64bd5aeec99064f5888c4c02173e06bb2e25b88", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "3.9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0431c45fd97f7d982c0c10648c8e61a8c3452375", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "4.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "22822d12a801aea2956cbf6f8c1bd1a87c341866", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "4.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "236a2c7093fc9189d3ce453e60c2cd77c60ee310", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "5.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "1a52609ad1c09074c96c3cb068b039ab56b2d1f4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "5.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c1a06d79328b945c317ed1563bd57cfbe5c3bedb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "6.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "98bb1a8ae40f49616af7fe0075f2f85fe90b64a5", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "6.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "27f306a8aed59a7e7d27e235ca491a9c6c4d70e5", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "7.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "3d1b80b932ded6611a27fed2dde5072f18b48cef", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "7.0", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7e7c90dc74c1e654e2d542b4c55682c08e19420a", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0251245800ee8b21cbc7de52a9dc0c9811c03f7a", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "59545d0fa18171f0ec6bb86d1f7843d799a8141d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "29ff983810bb9953ecfc27a3665e443ce813241d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "3fe035b0eb5ba503c47ae952c5620ba05664f580", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "9d1df939ffb86bbdbbe66e7c764beb3ff83664e7", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "14051a6910d1cac2f3539f5b453c9270bea91d8d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "11", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ccf5d1f58537134bb420e7a26035bd6a6e86f547", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "11", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "17de094f27d0f998e6912bebf1f40169f3724180", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "3.9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "09a8d6ef4463ca4e49409ae0f010bb8ca1d8d202", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "3.9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "46cb54ec7a7abb8c101d6746035d613d19008112", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "4.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7df07ccb814044e0b0ac57af73fd70a0ffa7d887", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "4.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "3e21120703f0f4e230daae0fd976f9e9f96168bb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "5.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c97cc288170d381f51e626ef724c576bfffce999", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "5.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "547430d770d829ad3f4fcebf6ea3dbb183188d18", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "6.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "9f58ee254487e174d6fd6ed6c775403aa175dc96", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "6.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d5fa9d7084251db8d290d6710a9a32ca53221dfe", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "7.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "efd7bb2e4c010af168bde2587fc7eefcd07a8546", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "7.0", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c94db08e4a43f92b1fa1b83a00aded660fc39daa", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7185af9476843c38386a5f2db4620cbb894d4453", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "fb8fd2f93db7bff14f12e7edd54fac21438c402c", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "f89b8b52b703a79a2943abaa0356bad9b9b016e3", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "5b878f15e90f02e77e3aeb50c4f40a735d28c103", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "dc9a0e40c83a9c9cd6e1e4b45fbc893c2a345944", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "2d704c503ddee653e962e8980d8eb2683e4d44e4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "11", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "11", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a1014f551fd713551cac120ab054d57a75e2a6fb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "5", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "33493cb71086e315124f0ea0b3f4a791e29655f6", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "5", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "835f7536c0c75146a865be8e7e0d8e87c41bac10", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "6", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "24f35acba94f8465842532a8a3af693585b46f19", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "6", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "56416502a8ef78d5fd03df101ec59c18b3942ecb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "7", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "08972940f83b75053728ae8aa378f6eb0726a7e0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "7", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "5b5df2a3c97a6abccfa2782b71120805b8e675c1", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e9f3b4984df383ef98c9cfd705671556a318c947", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "24134d084232aef630f3a179e920cd4c170710a2", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "21cb4ad5aa2b1400749979c6d0d995d48a58efa4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b3014cd8e92a67eee3529480401709c7e0f66b5c", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "6d7327105695a92d4c0ac2ccbd088164f1c3ba42", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "15e105f44ace4f203ae60adecc1c47e9360cd4be", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "5", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e0edd23c43c1d94b3fe1545e862dcdd12ea601b8", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "5", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b3920d8c29257b31c79de857f8a0e96c9209ab50", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "6", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "637898d000e229c50991489182ed7cc79a1f5712", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "6", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "729a3dfa3984f7e46b610a7f319ed25eddf7d89b", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "7", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "541ffe337ee80db2703f2ef0167ebecc273e93d0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "7", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "6976159242babb35e9b79630b5f1b23d169cdb9e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "52d5cc9dfb346927426deb58bb2ed163528e5783", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "299d396e814f58dd2caf3ea9a5f728bf397ab813", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "5d7dd9e507fdc8aa05aebb296cd2e6e1c5ab5ef5", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0a0a017e452c0239be4dc3896ffc2fd18a4e9c16", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++11", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d2a03811837e8a71522e4a37ae00040155e54e9e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "gcc", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ca765e76f9864e85a1c93a0f99911e1e6026175f", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "3.9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "64aeb0ed331c2c8488c8079352ff6393510aa976", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "3.9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "81a1d347849917ba2a914fb8d9580580b5ca0cf8", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "4.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "192cff7260299ab2a36e2528631790e646ae96bd", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "4.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "031533e56353a8fb075cea19a9273261479e8838", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "5.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "2046642e086b7b53a2501694bf2dcb87d762ddd4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "5.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "8418917fab2192ff7f478da2e45fb3e6747353af", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "6.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ab2dccc38d139c153ad3d3b40b07500ad90f996e", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "6.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ebca0c63ebbbb9ce6bd5715253bc4475a0452f24", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "7.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "abd32c36b0a025ea5777f24f68301752ce6a2423", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "7.0", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "456e9c320b3011d70bb25cd109d26e5146c28170", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7de120d9411e30fedf026b7afc5683d1ae622da3", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "8", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e2e7f971d53232020e2000727093e0c8d45deac9", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a7771250d74cd8e091e9c0e9366b59c065f48b58", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "9", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d0af257e93ec40ec9a65e1597b882b0c9cd15269", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0fccf177e66c4211d62b31f13ca052802bbf607d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "10", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e418562b6d0476458f7f5f60c2e4df37ff846c3d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "11", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "58dbc817ced7344d7c58cbf9a59a923f7df193a7", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "11", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "2498804700ce8a276eef2b89e948c20a3c5e4dc4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "3.9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "c53c8af2508c57b539c136aa42eb7baec5092baf", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "3.9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ecff9adb338dc0c33229e5c3e113bf0318794528", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "4.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e86ec51cee167ea3f9e539b1c536121fbd2ce028", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "4.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e84731cde659c1841f4127a73e2c1ea81ccca20b", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "5.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "f81d2be9806ceb5a6224043f60b038955f2b9886", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "5.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d7eab4072e7826d79fbe3ade4d21b3ff1f77ee5d", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "6.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "750ef503de65051a1cd75e120430198596add3a7", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "6.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b540df3a35502089e6b0306f1b7cd390282c0fbf", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "7.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d4ce837aed9287f3acdd66284e1670ba2fb2a541", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "7.0", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0b8190512dbebc7e74661f7b9d77b01f22782143", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "386bc2da1dd9eb241a6a25c0f75bed234f157f66", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "8", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "06f71cb01ec5732e63abebe2c1ee85f1fe163983", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "18a24d3c70eb62f25dc2d826151f608ae9b120a0", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "9", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "cd9068a425196e49ebee6333a3ad35ed04cf4536", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "af061142c849f97a24e9cde8022dc632157918bb", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "10", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "1d9ee85b31acafcf88a3fc248bee9ff70e997727", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libstdc++", "compiler.version": "11", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "4eee6550ca19601c04080f29940b981094804dd4", "settings": { "os": "Linux", "os_build": "Linux", "arch": "x86_64", "arch_build": "x86_64", "compiler": "clang", "compiler.libcxx": "libc++", "compiler.version": "11", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a0f567270d448acdb2d3787c4509dfbf6dfc68d3", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b51808878eb362c374c9fa7e9a454e6166450b72", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "5bf70375107a405bdb3cdbe71bd2888c28b10849", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a7bbfcaa90ce4a0126c44586c57625548131f779", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ac8b833c45d9d1b30eaf8b88e0284e12c2bb87c7", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "43f2186affed7c85f064fa3cc548036fcc2d4b81", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "bd23553fc6de07292b570f3c0bf0a03f57612b9f", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "aa81af972a4ec2670427a27126fdc1ae115bf698", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "91a66d3a73b1285d3b89aab6ae47cfff7ebbfb24", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "7f96e7a058a212364b4e7862b1d0f8abe0f2c029", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "92571704ce124b870446a186999ab62a7908032c", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "0118fdff5bd9bb7c03dccdba371881a0bc74856f", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "52af5476dcd6f9047cf4551bd7168d0e820b67e0", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "a83c68b423e9097fd11a270a60228bc88ca61ef9", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Release", "compiler.runtime": "MT" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "6f68713b538ea0e9dedacf5cbe718d1f735e871d", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "1611be97a0213304112adeb242802eb960590deb", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "34f54add2cfce6001e0e1c7b07d75b5fe43eab5d", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Release", "compiler.runtime": "MD" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "9bc869aa25962f31ac7fa20bab2e9e6cf6f6945f", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e81e52d77afbf929c916be5c42e83aee980e9fdb", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "bb2a24f495667be26d60b95bb18631a849fbe08b", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Debug", "compiler.runtime": "MTd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e25ca09be09709ca8f17d9e7bb38bfe5d7950568", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "14", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "ba5c8cb6999d29b3a710c47640652a8230bde438", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "15", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19", "settings": { "os": "Windows", "os_build": "Windows", "arch": "x86_64", "arch_build": "x86_64", "compiler": "Visual Studio", "compiler.version": "16", "build_type": "Debug", "compiler.runtime": "MDd" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "fc9ba85b0ea9288a7af975573fcdda7cf672f84c", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "10.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "1bf739fb08d85bdb440b440daf67625868f47ddf", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "11.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "b551eadff02a4504a21c6c17300a08c3b9df7165", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "155bf6b81d31b2abdd4c7f86168657c2b77ddd92", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "10.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "11.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "51329b70c1d00e11b6ce2e68c60ae17a1b0151d9", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "de465164d021bb9debdc086fa96c7b471961eb03", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "10.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "11f6fadf14d532a5698bd6bae35740e2ad12f44b", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "11.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "349228eaa3d2d63be37219991267f4f2b6be246d", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "34f0d2c7cfb7ca7cee830dad9fe1ab76c6420e17", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "10.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "22e38bfe3cd335485f875a9b35074c9098db9a74", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "11.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "e91dc8c4452a050f48cbf989a9eb7b3726c18dc5", "settings": { "os": "Macos", "os_build": "Macos", "arch": "x86_64", "arch_build": "x86_64", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "CONAN_CENTER", "profile": null, "build": null, "test": null }, { "reference": "z3/4.8.8", "packageID": "f6d52fb08edc6de8db2a2671a374f1298f468efc", "settings": { "os": "Macos", "arch": "armv8", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "False" }, "status": "MISSING_DEPENDENCIES", "profile": "logs/TapaholesList/183/z3/4.8.8//f6d52fb08edc6de8db2a2671a374f1298f468efc-profile.txt", "build": "logs/TapaholesList/183/z3/4.8.8//f6d52fb08edc6de8db2a2671a374f1298f468efc-build.txt", "test": null }, { "reference": "z3/4.8.8", "packageID": "c8035cf53f2b2888427b3b240f87029a1bc86aa6", "settings": { "os": "Macos", "arch": "armv8", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "False" }, "status": "MISSING_DEPENDENCIES", "profile": "logs/TapaholesList/183/z3/4.8.8//c8035cf53f2b2888427b3b240f87029a1bc86aa6-profile.txt", "build": "logs/TapaholesList/183/z3/4.8.8//c8035cf53f2b2888427b3b240f87029a1bc86aa6-build.txt", "test": null }, { "reference": "z3/4.8.8", "packageID": "acc3df9a35470a6097e4b464f13f6f5b4db90aa1", "settings": { "os": "Macos", "arch": "armv8", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Debug" }, "options": { "z3:shared": "True" }, "status": "MISSING_DEPENDENCIES", "profile": "logs/TapaholesList/183/z3/4.8.8//acc3df9a35470a6097e4b464f13f6f5b4db90aa1-profile.txt", "build": "logs/TapaholesList/183/z3/4.8.8//acc3df9a35470a6097e4b464f13f6f5b4db90aa1-build.txt", "test": null }, { "reference": "z3/4.8.8", "packageID": "19ac73050ae196491468c2690e415882dedd20a6", "settings": { "os": "Macos", "arch": "armv8", "compiler": "apple-clang", "compiler.version": "12.0", "compiler.libcxx": "libc++", "build_type": "Release" }, "options": { "z3:shared": "True" }, "status": "FAILED", "profile": "logs/TapaholesList/183/z3/4.8.8//19ac73050ae196491468c2690e415882dedd20a6-profile.txt", "build": "logs/TapaholesList/183/z3/4.8.8//19ac73050ae196491468c2690e415882dedd20a6-build.txt", "test": null } ]