Add automatic input downloading

Since we no longer include input files with the solution, per AoC guidelines, this will enable other users to use this application (after specifying their session token) without manually grabbing all the appropriate download files.
This commit is contained in:
2024-12-01 11:13:56 -06:00
parent 8120a52ba0
commit 0359b86174
7 changed files with 184 additions and 42 deletions

View File

@ -23,16 +23,6 @@
<NoWarn>1701;1702;8981</NoWarn>
</PropertyGroup>
<ItemGroup>
<None Remove="inputs\01.txt" />
<None Remove="inputs\01a.txt" />
</ItemGroup>
<ItemGroup>
<EmbeddedResource Include="inputs\01.txt" />
<EmbeddedResource Include="inputs\01a.txt" />
</ItemGroup>
<ItemGroup>
<PackageReference Include="Microsoft.Z3" Version="4.12.2" />
</ItemGroup>