mirror of
https://github.com/parnic/advent-of-code-2023.git
synced 2025-06-16 16:50:14 -05:00
This is terrible, but it's Christmas and I don't want to solve this intense graph theory problem right now. I fed the parsed graph into graphviz so I could see where the connections were, then had the code sever them and calculate the independent graph sizes. Maybe I'll find a real solve for this later...but probably not.
101 lines
3.8 KiB
XML
101 lines
3.8 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" />
|
|
<EmbeddedResource Include="inputs\25.txt" />
|
|
<EmbeddedResource Include="inputs\25a.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>
|