Skip to content

Commit 0d0ac8d

Browse files
shahatashahata
committed
solved day 13
1 parent d930402 commit 0d0ac8d

24 files changed

+1880
-190
lines changed

‎package-lock.json‎

Lines changed: 23 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎package.json‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,8 @@
2222
"es-module-shims": "^1.10.0",
2323
"node-forge": "^1.3.1",
2424
"progress": "^2.0.3",
25-
"regenerator-runtime": "^0.14.1"
25+
"regenerator-runtime": "^0.14.1",
26+
"z3-solver": "^4.13.3"
2627
},
2728
"devDependencies": {
2829
"@playwright/browser-chromium": "^1.47.2",
@@ -57,4 +58,4 @@
5758
}
5859
}
5960
}
60-
}
61+
}

‎src/2024/day01.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day02.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day03.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day04.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day05.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day06.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day07.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

‎src/2024/day08.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1 class="title-global"><a href="index.html">Advent of Code</a></h1>
2222
</nav>
2323
<div class="user">Shahar Talmi <a class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <a
2424
href="https://www.wix.engineering/" target="_blank" class="sponsor-badge"
25-
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">24*</span></div>
25+
title="Member of sponsor: Wix Engineering">(Sponsor)</a> <span class="star-count">26*</span></div>
2626
</div>
2727
<div>
2828
<h1 class="title-event">&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">$year=</span><a

0 commit comments

Comments
 (0)