mirror of
https://github.com/parnic/advent-of-code-2023.git
synced 2025-06-16 16:50:14 -05:00
Parnic
17518fdb35
Very, very shamelessly stolen from the r/adventofcode main thread where everyone was using this "Z3" library to solve equations. I'm not good at math, and this problem feels more like Advent of Linear Algebra than Code. Although it appears that Z3 doesn't work on mac since I had to switch back to my desktop PC for this one :(.
99 lines
3.7 KiB
XML
99 lines
3.7 KiB
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
|
|
<PropertyGroup>
|
|
<OutputType>Exe</OutputType>
|
|
<TargetFramework>net8.0</TargetFramework>
|
|
<RootNamespace>aoc2023</RootNamespace>
|
|
<ImplicitUsings>enable</ImplicitUsings>
|
|
<Nullable>enable</Nullable>
|
|
<ProduceReferenceAssembly>False</ProduceReferenceAssembly>
|
|
<EnforceCodeStyleInBuild>True</EnforceCodeStyleInBuild>
|
|
<LangVersion>latest</LangVersion>
|
|
</PropertyGroup>
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|AnyCPU'">
|
|
<WarningLevel>9999</WarningLevel>
|
|
<TreatWarningsAsErrors>True</TreatWarningsAsErrors>
|
|
<NoWarn>1701;1702;8981</NoWarn>
|
|
</PropertyGroup>
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|AnyCPU'">
|
|
<WarningLevel>9999</WarningLevel>
|
|
<TreatWarningsAsErrors>True</TreatWarningsAsErrors>
|
|
<NoWarn>1701;1702;8981</NoWarn>
|
|
</PropertyGroup>
|
|
|
|
<ItemGroup>
|
|
<None Remove="inputs\01.txt" />
|
|
<None Remove="inputs\01a.txt" />
|
|
<None Remove="inputs\01b.txt" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<EmbeddedResource Include="inputs\01.txt" />
|
|
<EmbeddedResource Include="inputs\01a.txt" />
|
|
<EmbeddedResource Include="inputs\02.txt" />
|
|
<EmbeddedResource Include="inputs\02a.txt" />
|
|
<EmbeddedResource Include="inputs\03.txt" />
|
|
<EmbeddedResource Include="inputs\03a.txt" />
|
|
<EmbeddedResource Include="inputs\04.txt" />
|
|
<EmbeddedResource Include="inputs\04a.txt" />
|
|
<EmbeddedResource Include="inputs\05.txt" />
|
|
<EmbeddedResource Include="inputs\05a.txt" />
|
|
<EmbeddedResource Include="inputs\06.txt" />
|
|
<EmbeddedResource Include="inputs\06a.txt" />
|
|
<EmbeddedResource Include="inputs\07.txt" />
|
|
<EmbeddedResource Include="inputs\07a.txt" />
|
|
<EmbeddedResource Include="inputs\08.txt" />
|
|
<EmbeddedResource Include="inputs\08a.txt" />
|
|
<EmbeddedResource Include="inputs\08b.txt" />
|
|
<EmbeddedResource Include="inputs\08c.txt" />
|
|
<EmbeddedResource Include="inputs\09.txt" />
|
|
<EmbeddedResource Include="inputs\09a.txt" />
|
|
<EmbeddedResource Include="inputs\10.txt" />
|
|
<EmbeddedResource Include="inputs\10a.txt" />
|
|
<EmbeddedResource Include="inputs\11.txt" />
|
|
<EmbeddedResource Include="inputs\11a.txt" />
|
|
<EmbeddedResource Include="inputs\12.txt" />
|
|
<EmbeddedResource Include="inputs\12a.txt" />
|
|
<EmbeddedResource Include="inputs\13.txt" />
|
|
<EmbeddedResource Include="inputs\13a.txt" />
|
|
<EmbeddedResource Include="inputs\14.txt" />
|
|
<EmbeddedResource Include="inputs\14a.txt" />
|
|
<EmbeddedResource Include="inputs\15.txt" />
|
|
<EmbeddedResource Include="inputs\15a.txt" />
|
|
<EmbeddedResource Include="inputs\16.txt" />
|
|
<EmbeddedResource Include="inputs\16a.txt" />
|
|
<EmbeddedResource Include="inputs\17.txt" />
|
|
<EmbeddedResource Include="inputs\17a.txt" />
|
|
<EmbeddedResource Include="inputs\18.txt" />
|
|
<EmbeddedResource Include="inputs\18a.txt" />
|
|
<EmbeddedResource Include="inputs\19.txt" />
|
|
<EmbeddedResource Include="inputs\19a.txt" />
|
|
<EmbeddedResource Include="inputs\20.txt" />
|
|
<EmbeddedResource Include="inputs\20a.txt" />
|
|
<EmbeddedResource Include="inputs\20b.txt" />
|
|
<EmbeddedResource Include="inputs\21.txt" />
|
|
<EmbeddedResource Include="inputs\21a.txt" />
|
|
<EmbeddedResource Include="inputs\24.txt" />
|
|
<EmbeddedResource Include="inputs\24a.txt" />
|
|
<None Remove="inputs\22.txt" />
|
|
<EmbeddedResource Include="inputs\22.txt" />
|
|
<None Remove="inputs\22a.txt" />
|
|
<EmbeddedResource Include="inputs\22a.txt" />
|
|
<None Remove="inputs\23.txt" />
|
|
<EmbeddedResource Include="inputs\23.txt" />
|
|
<None Remove="inputs\23a.txt" />
|
|
<EmbeddedResource Include="inputs\23a.txt" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<EmbeddedResource Include="inputs\01b.txt" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<PackageReference Include="Microsoft.Z3" Version="4.12.2" />
|
|
</ItemGroup>
|
|
|
|
</Project>
|