diff options
-rw-r--r-- | aoc2023-other/day-24/day-24a.rkt | 2 | ||||
-rw-r--r-- | aoc2023-other/day-24/day-24b.rkt | 3 |
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 |