diff options
| author | J.J <thechairman@thechairman.info> | 2023-12-24 16:21:38 -0500 |
|---|---|---|
| committer | J.J <thechairman@thechairman.info> | 2023-12-24 16:21:38 -0500 |
| commit | 74e6e49ff30c45b08c36d8846f794fb16fd7c36e (patch) | |
| tree | a412ac6f86990d6507b172f076e3f17d91e5d0f2 | |
| parent | 48c2d7f41a0b6c9bb4279f6ab0ce16c2c94155d8 (diff) | |
| download | gleam_aoc-74e6e49ff30c45b08c36d8846f794fb16fd7c36e.tar.gz gleam_aoc-74e6e49ff30c45b08c36d8846f794fb16fd7c36e.zip | |
day 24 parts 1 and 2 complete
| -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 |