Google.OrTools.Sat CPSolver.Solve вызывает исключение AccessViolationException

Я слежу за этим видео оно на Python, по ходу конвертирую в dotnet.

Как только я запустил приложение, оно вылетело. Я удалил все, вплоть до этой репродукции.

Могу только предположить, что есть какие-то настройки, которые я пропустил. Любые подсказки

программа.cs

using Google.OrTools.Sat; // 9.10.4067

var model = new CpModel();
var solver = new CpSolver();
solver.Solve(model);

// an attempt to prevent the crash as per other SO post - https://stackoverflow.com/questions/47296373/accessviolationexception-when-accessing-variable-solution-value
GC.KeepAlive(model);
GC.KeepAlive(solver);

выход

%USER_PROFILE%\AppData\Local\Programs\Rider\plugins\dpa\DotFiles\JetBrains.DPA.Runner.exe --handle=14376 --backend-pid=6556 --etw-collect-flags=67108622 --detach-event-name=dpa.detach.14376 %LOCAL_PATH%/ConsoleApp1/bin/Debug/net7.0/ConsoleApp1.exe
Fatal error. System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt.
Repeat 2 times:
--------------------------------
   at Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_Solve(System.Runtime.InteropServices.HandleRef, Int32, Byte[])
--------------------------------
   at Google.OrTools.Sat.SolveWrapper.Solve(Google.OrTools.Sat.CpModelProto)
   at Google.OrTools.Sat.CpSolver.Solve(Google.OrTools.Sat.CpModel, Google.OrTools.Sat.SolutionCallback)
   at Program.<Main>$(System.String[])

Process finished with exit code 0xC0000005.

проектный файл

 <Project Sdk = "Microsoft.NET.Sdk">
    <PropertyGroup>
        <OutputType>Exe</OutputType>
        <TargetFramework>net7.0</TargetFramework>
        <ImplicitUsings>enable</ImplicitUsings>
        <Nullable>enable</Nullable>
    </PropertyGroup>
    <ItemGroup>
      <PackageReference Include = "Google.OrTools" Version = "9.10.4067" />
    </ItemGroup>
</Project>