aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--aoc2023-other/day-24/day-24a.rkt2
-rw-r--r--aoc2023-other/day-24/day-24b.rkt3
2 files changed, 4 insertions, 1 deletions
diff --git a/aoc2023-other/day-24/day-24a.rkt b/aoc2023-other/day-24/day-24a.rkt
index f366df1..39f559c 100644
--- a/aoc2023-other/day-24/day-24a.rkt
+++ b/aoc2023-other/day-24/day-24a.rkt
@@ -40,4 +40,4 @@
#:when (apply valid-intersection? trial-paths))
1)
-;; part 2 - in Z3 via Python
+;; part 2 - see day-24b.rkt
diff --git a/aoc2023-other/day-24/day-24b.rkt b/aoc2023-other/day-24/day-24b.rkt
index 38e4317..a173a98 100644
--- a/aoc2023-other/day-24/day-24b.rkt
+++ b/aoc2023-other/day-24/day-24b.rkt
@@ -21,6 +21,9 @@
[_ (in-range 3)])
(parse-hail-record hail)))
+;; part 1 - see day-24a.rkt
+;; part 2
+
(define-symbolic px py pz vx vy vz integer?)
(define sol