utc=2026-08-13T15:01:54Z
Linux cuda-ke 7.0.0-28-generic #28~24.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jul  1 15:50:57 UTC 2 x86_64 x86_64 x86_64 GNU/Linux
Python 3.12.3
pytest 9.1.1
lit 18.1.8
cmake version 3.28.3
Ubuntu clang version 18.1.3 (1ubuntu1)
Ubuntu clang version 17.0.6 (9ubuntu1)
Z3 version 4.8.12 - 64 bit