Collapse file tree

Files

 main

Search this repository

/

day24

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

fwcd

Add note on Z3

Dec 24, 2024

62ae6d6 · Dec 24, 2024

History

History

Open commit details

/

day24

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
resources		resources	Translate the day 24 input to Z3	Dec 24, 2024
src		src	Add note on Z3	Dec 24, 2024
derivation.nix		derivation.nix	Add z3 to day 24 derivation	Dec 24, 2024
flake.lock		flake.lock	Stub out day 24 in Crystal	Dec 24, 2024
flake.nix		flake.nix	Stub out day 24 in Crystal	Dec 24, 2024
View all files