Basis cvc5 build basis-6c96b55f6c

Pinned Basis build of cvc5 at 6c96b55.

39ba75c3f4990a1277d1e9a208bb3a92650b736c89b690f2482002751c381025  cvc5-arm64-linux
11adb95c90e72c1f65785dfd835c856c4519870da6608f90fab8ff41706b8ba7  cvc5-arm64-macos
4803479d4124b52943e3f0d65bbfa35bb00d208d9c0ad91b3d7b00a7cac33968  cvc5-x86-linux

Basis cvc5 build basis-079d8c8b8b

Pinned Basis build of cvc5 at 079d8c8.

dddded93771034773bedfb868fa035972ee3bf345187a37ccae63efb7b3c4a5f  cvc5-arm64-macos
6ff87c317558ed7ba95be16b495cbccd837e596d46409b3a0b9a5c505e53c907  cvc5-x86-linux

Basis cvc5 build basis-e68dc63e37

Pinned Basis build of cvc5 at e68dc63.

12a465c5f684e8b3a7170580047f6a66a517e86c10ea7dc484e74d0a3f78adc3  cvc5-arm64-macos
66aa2969667607a4852377cb39b1561b315aecd4045ab554f06e576fa95e3920  cvc5-x86-linux

Basis cvc5 build basis-b905873c8d

Pinned Basis build of cvc5 at b905873.

a7d1e75e26223e2d6c9c46c54e0d563cdf5bc575ba1cd740802b7e65b0e26d50  cvc5-arm64-macos
749e13d17001ab5f07a620c382a4fc1ae15b07ef338207830d8df65101c5f78b  cvc5-x86-linux

Basis cvc5 build basis-a980394e3a

Pinned Basis build of cvc5 at a980394.

c832ccd5b767e32d7a940630c16e7a6ed204e5b9656576db8feef975fcd07d29  cvc5-arm64-macos
42d11682f0c72746259a2beb23e24fb70ed7c5f49bad6021f9de5bafbf639a53  cvc5-x86-linux

Basis cvc5 build basis-a796f567b9

Pinned Basis build of cvc5 at a796f56.

f7992445d4bd248622324585eaef2efd6139dc192acec20c027a5fc68ad8a147  cvc5-arm64-macos
ece411d86b7e9d28a81671cd6045b902247b19ae8ef6216318ea38a399ed8dd0  cvc5-x86-linux

Basis cvc5 build basis-79e8830406

Pinned Basis build of cvc5 at 79e8830.

61138a1301b2a54b6ed03ada47a6b3b75d433d298c32fdbdd92edd00bfd1e957  cvc5-arm64-macos
e5c2b763c1d20e66fcc23f060b8bcc5c7372ec7afeb7d11ffdd394b7895b31c2  cvc5-x86-linux

Basis cvc5 build basis-3b62b197bb

Pinned Basis build of cvc5 at 3b62b19.

01694d86609405ffa1337fea7d3db18b3c381b607b5c49c51a053f907d4ec0e8  cvc5-arm64-macos
d539b2adb629db1c90f8953b8e3cfd1fae27266fd738162b3c95b4154d9cfd48  cvc5-x86-linux

Basis cvc5 build basis-c893833109

Pinned Basis build of cvc5 at c893833.

6027eea05b6f37df924c705428b30866bd79c5c0c069e7c51457d2080a51dc45  cvc5-arm64-macos
b78c86f05b573fb82f51ae0f6b2edc21cfa087cf302d5f689cc00d2c2d6f00b3  cvc5-x86-linux

Basis cvc5 build basis-b25a419c78

Pinned Basis build of cvc5 at b25a419.

314025ef33b0117154e03da8c9a52c1073c40fa60ec97ea28d3cb9e7a88c7032  cvc5-arm64-macos
a03144ff2ea8fe3d8f2c93cadd4299f1997de3edcb5571d355000b5a7c0c8a6b  cvc5-x86-linux