RInGen.fsproj

<Project Sdk="Microsoft.NET.Sdk">

    <PropertyGroup>
        <OutputType>Exe</OutputType>
        <TargetFramework>net6.0</TargetFramework>
        <GenerateProgramFile>false</GenerateProgramFile>
    </PropertyGroup>

    <PropertyGroup Condition=" '$(Configuration)' == 'Debug' ">
      <DebugType>full</DebugType>
    </PropertyGroup>

    <ItemGroup>
        <PackageReference Include="Argu" Version="6.1.1" />
        <PackageReference Include="CsvHelper" Version="15.0.5" />
    </ItemGroup>

    <ItemGroup>
        <Compile Include="Prelude.fs" />
        <Compile Include="Terms.fs" />
        <Compile Include="Atoms.fs" />
        <Compile Include="FOL.fs" />
        <Compile Include="Rule.fs" />
        <Compile Include="Options.fs" />
        <Compile Include="Programs.fs" />
        <Compile Include="Relativization.fs" />
        <Compile Include="Operations.fs" />
        <Compile Include="SubstituteOperations.fs" />
        <Compile Include="BoolAxiomatization.fs" />
        <Compile Include="IntToNat.fs" />
        <Compile Include="ADTs.fs" />
        <Compile Include="Arrays.fs" />
        <Compile Include="Unifier.fs" />
        <Compile Include="Simplification.fs" />
        <Compile Include="Synchronization.fs" />
        <Compile Include="FiniteModels.fs" />
        <Compile Include="SolverResult.fs" />
        <Compile Include="TtaTransform.fs" />
        <Compile Include="ADTExtensions.fs" />
        <Compile Include="Context.fs" />
        <Compile Include="ClauseTransform.fs" />
        <Compile Include="PrintToProlog.fs" />
        <Compile Include="Transformers.fs" />
        <Compile Include="Statistics.fs" />
        <Compile Include="ResultTable.fs" />
        <Compile Include="Solvers.fs" />
        <Compile Include="ConsoleRunner.fs" />
    </ItemGroup>

    <ItemGroup>
      <ProjectReference Include="SMTLIB2\SMTLIB2\SMTLIB2.fsproj" />
    </ItemGroup>
</Project>