diff --git a/default/rules/solvers.py b/default/rules/solvers.py
index 0edb208..82d1498 100644
--- a/default/rules/solvers.py
+++ b/default/rules/solvers.py
@@ -38,7 +38,7 @@
 	name = 'bitwuzla',
 	vcs = 'git',
 	location = 'https://github.com/bitwuzla/bitwuzla',
-	revision = 'origin/main',
+	revision = '1230d80a5275ddf525da9c218c2bcd29c3130e49',
 	license_file = 'COPYING',
 )