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. 
#r "nuget: NanoByte.SatSolver, 0.1.0"
For F# scripts that support #r syntax, copy this into the source code to reference the package.

  • .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.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
0.2.0 131 7/19/2020
0.1.2 172 1/10/2020
0.1.1 161 10/14/2019
0.1.0 308 2/20/2019