#define VERSION "4.0.4"
#define COMPILER "gcc (GCC) 11.4.1 20231218 (Red Hat 11.4.1-4) -W -Wall -O3 -DNDEBUG -DNOPTIONS -DQUIET"
#define ID "unknown"
#define BUILD "Wed May 27 01:56:22 PM CEST 2026 Linux hkn1990.localdomain 5.14.0-427.109.1.el9_4.x86_64 x86_64"
#define DIR "/hkfs/home/project/hk-project-toolbox/fv2117/git/sc2026/solvers/anders/satsuma-iter-ae-kissat-mab/src/solver/kissat/build"
