NanoByte.SatSolver by Bastian Eicher

<PackageReference Include="NanoByte.SatSolver" Version="0.3.0" />

 NanoByte.SatSolver 0.3.0

DPLL Boolean Satisfiability Solver

<package xmlns="http://schemas.microsoft.com/packaging/2012/06/nuspec.xsd">
  <metadata>
    <id>NanoByte.SatSolver</id>
    <version>0.3.0</version>
    <authors>Bastian Eicher</authors>
    <requireLicenseAcceptance>false</requireLicenseAcceptance>
    <license type="expression">MIT</license>
    <licenseUrl>https://licenses.nuget.org/MIT</licenseUrl>
    <projectUrl>https://sat-solver.nano-byte.net/</projectUrl>
    <description>DPLL Boolean Satisfiability Solver</description>
    <copyright>Copyright Bastian Eicher</copyright>
    <tags>SAT Boolean Satisfiability Solver DPLL</tags>
    <repository type="git" url="https://github.com/nano-byte/sat-solver" commit="6dd90d1fabbf274cbd7ad9cf62506c670655e7c9" />
    <dependencies>
      <group targetFramework=".NETFramework4.0" />
      <group targetFramework=".NETFramework4.5" />
      <group targetFramework=".NETFramework4.7.2" />
      <group targetFramework=".NETStandard2.0" />
      <group targetFramework=".NETStandard2.1" />
    </dependencies>
  </metadata>
</package>