Bump version

Bench: 7571218
PGG106 · Oct 26, 2024 · 4e36779 · 4e36779
1 parent 6d072d4
commit 4e36779
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/types.h b/src/types.h
@@ -4,7 +4,7 @@
 // include the tune stuff here to give it global visibility
 #include "tune.h"
 
-#define NAME "Alexandria-7.0.24"
+#define NAME "Alexandria-7.1.0"
 
 inline int reductions[2][64][64];
 inline int lmp_margin[64][2];