<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net8.0</TargetFramework>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="Util.fs" />
    <Compile Include="Json.fs" />
    <Compile Include="Configuration.fs" />
    <Compile Include="SMT.fs" />
    <Compile Include="SMTUtil.fs" />
    <Compile Include="Statement.fs" />
    <Compile Include="PreProcessing.fs" />
    <Compile Include="StrongestPostComputer.fs" />
    <Compile Include="Heuristic.fs" />
    <Compile Include="Verifier.fs" />
    <Compile Include="InputInstance.fs" />
    <Compile Include="CommandLineParser.fs" />
    <Compile Include="VerificationEntryPoint.fs" />
    <Compile Include="Program.fs" />
  </ItemGroup>
  <ItemGroup>
    <PackageReference Include="FParsec" Version="1.1.1" />
  </ItemGroup>
  <PropertyGroup>
    <OtherFlags>$(OtherFlags) --warnon:1182</OtherFlags>
  </PropertyGroup>
</Project>