NanoByte.SatSolver 0.1.0

DPLL Boolean Satisfiability Solver

There is a newer version of this package available.
See the version list below for details.
Install-Package NanoByte.SatSolver -Version 0.1.0
dotnet add package NanoByte.SatSolver --version 0.1.0
<PackageReference Include="NanoByte.SatSolver" Version="0.1.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add NanoByte.SatSolver --version 0.1.0
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 11 10/14/2019
0.1.0 119 2/20/2019