<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <TargetFramework>net8.0</TargetFramework>
    <LangVersion>6.0</LangVersion>
    <PackageId>FsOmegaLib</PackageId>
    <Version>1.0.0</Version>
    <Authors>Raven Beutner</Authors>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="Util.fs" />
    <Compile Include="SAT.fs" />
    <Compile Include="HOA.fs" />
    <Compile Include="AutomatonSkeleton.fs" />
    <Compile Include="AbstractAutomaton.fs" />
    <Compile Include="GNBA.fs" />
    <Compile Include="NBA.fs" />
    <Compile Include="DPA.fs" />
    <Compile Include="NSA.fs" />
    <Compile Include="NPA.fs" />
    <Compile Include="APA.fs" />
    <Compile Include="LTL.fs" />
    <Compile Include="Operations.fs" />
  </ItemGroup>
  <ItemGroup>
    <PackageReference Include="FParsec" Version="1.1.1" />
  </ItemGroup>
  <PropertyGroup>
    <OtherFlags>$(OtherFlags) --warnon:1182</OtherFlags>
  </PropertyGroup>
</Project>