NanoByte.SatSolver 0.1.1

DPLL Boolean Satisfiability Solver

Install-Package NanoByte.SatSolver -Version 0.1.1
dotnet add package NanoByte.SatSolver --version 0.1.1
<PackageReference Include="NanoByte.SatSolver" Version="0.1.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add NanoByte.SatSolver --version 0.1.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

  • .NETFramework 2.0

  • .NETFramework 3.5 Client

    • No dependencies.
  • .NETFramework 4.0 Client

    • No dependencies.
  • .NETFramework 4.5

    • No dependencies.
  • .NETStandard 1.0

  • .NETStandard 2.0

    • No dependencies.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
0.1.1 33 10/14/2019
0.1.0 120 2/20/2019