From 8c9151a270bfb5b53feb5d9404f1673223d44e7e Mon Sep 17 00:00:00 2001
From: Donato Meoli <donato.meoli.95@gmail.com>
Date: Fri, 26 Jun 2026 19:55:53 +0200
Subject: [PATCH] Bump aima-data submodule to include zebra.cnf

Updates the aima-data pointer to pick up zebra.cnf (Zebra puzzle in CNF),
which improving_sat_algorithms.ipynb reads via open('aima-data/zebra.cnf'),
plus the federalist README entry.
---
 aima-data | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/aima-data b/aima-data
index f6cbea61a..4070e9b51 160000
--- a/aima-data
+++ b/aima-data
@@ -1 +1 @@
-Subproject commit f6cbea61ad0c21c6b7be826d17af5a8d3a7c2c86
+Subproject commit 4070e9b51302cd681127d740409070a2078a4b4e